Gary is not furry. Gary is nice. Gary is quiet. If something is nice then it is quiet. If something is red then it is quiet. All round things are quiet. If Gary is nice and Gary is white then Gary is not red. If something is nice then it is smart. All smart, white things are red.
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is nice then it is quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is red then it is quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If Gary is nice and Gary is white then Gary is not red.
((("Gary" "is" "nice" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "red" "-"))
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All smart, white things are red.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Gary is not furry.
True
1
proof
[(triple1)]
("Gary" "is" "furry" "-")
triple1
Gary is not nice.
False
1
inv-proof
[(triple2)]
("Gary" "is" "nice" "-")
triple2
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Gary is nice.[(triple2)] Gary is not furry.[(triple1)] Gary is quiet.[(triple3 OR ((triple2) -> rule1))] @1: Gary is smart.[(((triple2) -> rule5))]
Gary is nice.
("Gary" "is" "nice" "+")
triple2
Gary is not furry.
("Gary" "is" "furry" "-")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
((triple2) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple2) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1