Harry is not big. Harry is cold. Harry is not furry. If Harry is cold and Harry is not blue then Harry is nice. If Harry is nice and Harry is not young then Harry is cold.
Harry is not big.
("Harry" "is" "big" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
If Harry is cold and Harry is not blue then Harry is nice.
((("Harry" "is" "cold" "+") ("Harry" "is" "blue" "~")) -> ("Harry" "is" "nice" "+"))
If Harry is nice and Harry is not young then Harry is cold.
((("Harry" "is" "nice" "+") ("Harry" "is" "young" "~")) -> ("Harry" "is" "cold" "+"))
Harry is not big.
True
1
proof
[(triple1)]
("Harry" "is" "big" "-")
triple1
Harry is furry.
False
1
inv-proof
[(triple3)]
("Harry" "is" "furry" "+")
triple3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Harry is cold.[(triple2)] Harry is not big.[(triple1)] Harry is not furry.[(triple3)]
Harry is cold.
("Harry" "is" "cold" "+")
triple2
Harry is not big.
("Harry" "is" "big" "-")
triple1
Harry is not furry.
("Harry" "is" "furry" "-")
triple3