Charlie is not furry. Charlie is not white. Fiona is not cold. Fiona is rough. Gary is not nice. Harry is big. Harry is cold. If Fiona is furry then Fiona is cold. If Fiona is cold then Fiona is not nice. If someone is white and not quiet then they are cold.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Fiona is furry then Fiona is cold.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "cold" "+"))
If Fiona is cold then Fiona is not nice.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "nice" "-"))
If someone is white and not quiet then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "cold" "+"))
Harry is cold.
True
1
proof
[(triple7)]
("Harry" "is" "cold" "+")
triple7
Gary is nice.
False
1
inv-proof
[(triple5)]
("Gary" "is" "nice" "+")
triple5
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Charlie is not furry.[(triple1)] Charlie is not white.[(triple2)] Fiona is not cold.[(triple3)] Fiona is rough.[(triple4)] Gary is not nice.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)]
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple2
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is not nice.
("Gary" "is" "nice" "-")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7