Charlie is quiet. Gary is green. Gary is smart. If Gary is furry then Gary is green. Furry, smart people are quiet. All nice people are white. Round, quiet people are green. If someone is white then they are furry. If someone is white and quiet then they are furry.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is furry then Gary is green.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "green" "+"))
Furry, smart people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Round, quiet people are green.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and quiet then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Gary is not green.
False
1
inv-proof
[(triple2)]
("Gary" "is" "green" "-")
triple2
Charlie is not furry.
Unknown
inv-rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is quiet.[(triple1)] Gary is green.[(triple2)] Gary is smart.[(triple3)]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3