Charlie is nice. Erin is not cold. Harry is round. All nice things are not smart. Blue, red things are smart. If Erin is kind and Erin is not cold then Erin is red. If Charlie is round and Charlie is blue then Charlie is smart. If Erin is nice and Erin is not cold then Erin is round. All red things are not nice. If something is smart then it is nice. If something is round and red then it is nice.
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Harry is round.
("Harry" "is" "round" "+")
All nice things are not smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "-"))
Blue, red things are smart.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If Erin is kind and Erin is not cold then Erin is red.
((("Erin" "is" "kind" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "red" "+"))
If Charlie is round and Charlie is blue then Charlie is smart.
((("Charlie" "is" "round" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "smart" "+"))
If Erin is nice and Erin is not cold then Erin is round.
((("Erin" "is" "nice" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "round" "+"))
All red things are not nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "-"))
If something is smart then it is nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If something is round and red then it is nice.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Harry is round.
True
1
proof
[(triple3)]
("Harry" "is" "round" "+")
triple3
Charlie is not nice.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "nice" "-")
triple1
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is nice.[(triple1)] Erin is not cold.[(triple2)] Harry is round.[(triple3)] @1: Charlie is not smart.[(((triple1) -> rule1))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Erin is not cold.
("Erin" "is" "cold" "-")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Charlie is not smart.
("Charlie" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1