Anne is big. Erin is cold. Harry is cold. If something is nice and big then it is young. If something is big and young then it is smart. If Erin is nice then Erin is rough. If something is nice and cold then it is big. If Erin is red and Erin is rough then Erin is big. Rough, young things are big. If something is red then it is rough. All red things are cold.
Anne is big.
("Anne" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If something is nice and big then it is young.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is big and young then it is smart.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If Erin is nice then Erin is rough.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "rough" "+"))
If something is nice and cold then it is big.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If Erin is red and Erin is rough then Erin is big.
((("Erin" "is" "red" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "big" "+"))
Rough, young things are big.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is red then it is rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Harry is not cold.
False
1
inv-proof
[(triple3)]
("Harry" "is" "cold" "-")
triple3
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is big.[(triple1)] Erin is cold.[(triple2)] Harry is cold.[(triple3)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3