Anne is quiet. Bob is round. Erin is quiet. Gary is round. White, smart people are round. Round people are rough. If someone is white and quiet then they are furry. Red, round people are furry. Smart people are round. Red people are round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
White, smart people are round.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is white and quiet then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Red, round people are furry.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Gary is round.
True
1
proof
[(triple4)]
("Gary" "is" "round" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Erin is not rough.
Unknown
inv-rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Bob is round.[(triple2)] Erin is quiet.[(triple3)] Gary is round.[(triple4)] @1: Bob is rough.[(((triple2) -> rule2))] Gary is rough.[(((triple4) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1