Bob is young. Erin is furry. Erin is green. Erin is quiet. Erin is young. Gary is white. Gary is young. Quiet, round people are rough. If Erin is green and Erin is young then Erin is round. All quiet people are young. If someone is rough then they are furry. If Bob is furry and Bob is round then Bob is green. If someone is quiet and round then they are white.
Bob is young.
("Bob" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Quiet, round people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If Erin is green and Erin is young then Erin is round.
((("Erin" "is" "green" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "round" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If Bob is furry and Bob is round then Bob is green.
((("Bob" "is" "furry" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "green" "+"))
If someone is quiet and round then they are white.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Erin is quiet.
True
1
proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
Erin is not quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "-")
triple4
Erin is round.
True
3
proof
[(((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule3)) -> rule2))]
("Erin" "is" "round" "+")
((triple3 triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple3 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not round.
False
3
inv-proof
[(((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule3)) -> rule2))]
("Erin" "is" "round" "-")
((triple3 triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple3 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
True
5
proof
[(((triple4 ((triple3 triple5) -> rule2)) -> rule1) OR ((triple4 ((triple3 ((triple4) -> rule3)) -> rule2)) -> rule1))]
("Erin" "is" "rough" "+")
((triple4 ((triple3 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((triple3 ((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not white.
False
5
inv-proof
[(((triple4 ((triple3 triple5) -> rule2)) -> rule6) OR ((triple4 ((triple3 ((triple4) -> rule3)) -> rule2)) -> rule6))]
("Erin" "is" "white" "-")
((triple4 ((triple3 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((triple3 ((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is furry.
Unknown
rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "furry" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is young.[(triple1)] Erin is furry.[(triple2 OR ((((triple4 ((triple3 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple4 ((triple3 ((triple4) -> rule3)) -> rule2)) -> rule1)) -> rule4))] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is young.[(triple5 OR ((triple4) -> rule3))] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Erin is round.[(((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule3)) -> rule2))] @2: Erin is rough.[(((triple4 ((triple3 triple5) -> rule2)) -> rule1) OR ((triple4 ((triple3 ((triple4) -> rule3)) -> rule2)) -> rule1))] Erin is white.[(((triple4 ((triple3 triple5) -> rule2)) -> rule6) OR ((triple4 ((triple3 ((triple4) -> rule3)) -> rule2)) -> rule6))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((((triple4 ((triple3 triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple4 ((triple3 ((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
((triple4) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
((triple3 triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple3 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((triple4 ((triple3 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((triple3 ((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((triple4 ((triple3 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((triple3 ((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3