Anne is young. Erin is big. Harry is furry. If Anne is blue and Anne is nice then Anne is cold. All big, nice people are furry.
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Anne is blue and Anne is nice then Anne is cold.
((("Anne" "is" "blue" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "cold" "+"))
All big, nice people are furry.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Erin is big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Erin is not big.
False
1
inv-proof
[(triple2)]
("Erin" "is" "big" "-")
triple2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is young.[(triple1)] Erin is big.[(triple2)] Harry is furry.[(triple3)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Harry is furry.
("Harry" "is" "furry" "+")
triple3