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