Dave is blue. Erin is big. Erin is blue. Erin is nice. Fiona is big. Fiona is blue. Fiona is smart. If someone is young and blue then they are smart. If Fiona is big and Fiona is smart then Fiona is young. If Erin is young and Erin is blue then Erin is nice.
Dave is blue.
("Dave" "is" "blue" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is young and blue then they are smart.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is big and Fiona is smart then Fiona is young.
((("Fiona" "is" "big" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "young" "+"))
If Erin is young and Erin is blue then Erin is nice.
((("Erin" "is" "young" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "nice" "+"))
Erin is nice.
True
1
proof
[(triple4)]
("Erin" "is" "nice" "+")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Fiona is young.
True
3
proof
[(((triple5 triple7) -> rule2))]
("Fiona" "is" "young" "+")
((triple5 triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("Fiona" "is" "young" "-")
((triple5 triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is blue.[(triple1)] Erin is big.[(triple2)] Erin is blue.[(triple3)] Erin is nice.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is young.[(((triple5 triple7) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
((triple5 triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1