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