Anne is big. Anne is young. Erin is furry. Fiona is big. Fiona is cold. Fiona is furry. Fiona is young. If someone is nice and not round then they are cold. All cold people are blue. If someone is round and blue then they are big. If someone is round and nice then they are not furry. Furry, young people are nice. If Anne is furry and Anne is not round then Anne is not blue. If Anne is nice and Anne is blue then Anne is furry. If Erin is nice and Erin is not blue then Erin is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is nice and not round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round and nice then they are not furry.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "-"))
Furry, young people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If Anne is furry and Anne is not round then Anne is not blue.
((("Anne" "is" "furry" "+") ("Anne" "is" "round" "~")) -> ("Anne" "is" "blue" "-"))
If Anne is nice and Anne is blue then Anne is furry.
((("Anne" "is" "nice" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "furry" "+"))
If Erin is nice and Erin is not blue then Erin is big.
((("Erin" "is" "nice" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "big" "+"))
Anne is young.
True
1
proof
[(triple2)]
("Anne" "is" "young" "+")
triple2
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is young.[(triple2)] Erin is furry.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is blue.[(((triple5) -> rule2))] Fiona is nice.[(((triple6 triple7) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6 triple7) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1