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