Charlie is big. Erin is round. Gary is furry. If someone is round and furry then they are cold. If Charlie is cold and Charlie is young then Charlie is smart. Smart people are big.
Charlie is big.
("Charlie" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If someone is round and furry then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is cold and Charlie is young then Charlie is smart.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "smart" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Gary is not furry.
False
1
inv-proof
[(triple3)]
("Gary" "is" "furry" "-")
triple3
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "big" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is big.[(triple1)] Erin is round.[(triple2)] Gary is furry.[(triple3)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3