Gary is cold. Gary is kind. Harry is quiet. If something is quiet and kind then it is white. If Gary is white and Gary is nice then Gary is not cold. All quiet, white things are red.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is quiet and kind then it is white.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If Gary is white and Gary is nice then Gary is not cold.
((("Gary" "is" "white" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "cold" "-"))
All quiet, white things are red.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Gary is cold.
True
1
proof
[(triple1)]
("Gary" "is" "cold" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple2)]
("Gary" "is" "kind" "-")
triple2
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Gary is cold.[(triple1)] Gary is kind.[(triple2)] Harry is quiet.[(triple3)]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3