Charlie is nice. Gary is furry. Harry is white. All round people are young. If someone is young and cold then they are round. If Charlie is white then Charlie is nice.
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is white.
("Harry" "is" "white" "+")
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If Charlie is white then Charlie is nice.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "nice" "+"))
Harry is white.
True
1
proof
[(triple3)]
("Harry" "is" "white" "+")
triple3
Gary is not furry.
False
1
inv-proof
[(triple2)]
("Gary" "is" "furry" "-")
triple2
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is nice.[(triple1)] Gary is furry.[(triple2)] Harry is white.[(triple3)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3