Anne is big. Anne is round. Anne is smart. Charlie is not round. Erin is red. Harry is green. Harry is not round. Round, blue people are red. All round people are red. Cold people are smart. All round people are green. If Harry is green and Harry is red then Harry is big. If Charlie is big then Charlie is green. If Anne is smart and Anne is round then Anne is cold. If Erin is green and Erin is not cold then Erin is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Erin is red.
("Erin" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not round.
("Harry" "is" "round" "-")
Round, blue people are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If Harry is green and Harry is red then Harry is big.
((("Harry" "is" "green" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "big" "+"))
If Charlie is big then Charlie is green.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "green" "+"))
If Anne is smart and Anne is round then Anne is cold.
((("Anne" "is" "smart" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "cold" "+"))
If Erin is green and Erin is not cold then Erin is big.
((("Erin" "is" "green" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple6)]
("Harry" "is" "green" "+")
triple6
Harry is not green.
False
1
inv-proof
[(triple6)]
("Harry" "is" "green" "-")
triple6
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "smart" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is not round.[(triple4)] Erin is red.[(triple5)] Harry is green.[(triple6)] Harry is not round.[(triple7)] @1: Anne is cold.[(((triple3 triple2) -> rule7))] Anne is green.[(((triple2) -> rule4))] Anne is red.[(((triple2) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is not round.
("Charlie" "is" "round" "-")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is not round.
("Harry" "is" "round" "-")
triple7
Anne is cold.
("Anne" "is" "cold" "+")
((triple3 triple2) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1