Erin is quiet. Erin is smart. Harry is big. All red people are round. If someone is round and not red then they are not blue.
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
All red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and not red then they are not blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "-"))
Erin is smart.
True
1
proof
[(triple2)]
("Erin" "is" "smart" "+")
triple2
Harry is not big.
False
1
inv-proof
[(triple3)]
("Harry" "is" "big" "-")
triple3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is quiet.[(triple1)] Erin is smart.[(triple2)] Harry is big.[(triple3)]
Erin is quiet.
("Erin" "is" "quiet" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3