Charlie is smart. Erin is rough. Fiona is smart. Harry is not cold. If Erin is blue and Erin is not white then Erin is cold. If Harry is rough then Harry is white. All white, round things are big.
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
If Erin is blue and Erin is not white then Erin is cold.
((("Erin" "is" "blue" "+") ("Erin" "is" "white" "~")) -> ("Erin" "is" "cold" "+"))
If Harry is rough then Harry is white.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "white" "+"))
All white, round things are big.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Harry is not cold.
True
1
proof
[(triple4)]
("Harry" "is" "cold" "-")
triple4
Harry is cold.
False
1
inv-proof
[(triple4)]
("Harry" "is" "cold" "+")
triple4
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is smart.[(triple1)] Erin is rough.[(triple2)] Fiona is smart.[(triple3)] Harry is not cold.[(triple4)]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Harry is not cold.
("Harry" "is" "cold" "-")
triple4