Dave is big. Dave is blue. Dave is nice. Dave is quiet. Dave is round. Dave is white. Dave is young. Erin is big. Erin is blue. Erin is white. Fiona is round. Gary is big. Gary is blue. Gary is round. Gary is young. All young, white people are quiet. All nice people are young. If someone is quiet then they are blue. All round people are white. Round people are young. If someone is quiet then they are white. If someone is big then they are blue. If Gary is round then Gary is nice.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
All young, white people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If Gary is round then Gary is nice.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "nice" "+"))
Gary is big.
True
1
proof
[(triple12)]
("Gary" "is" "big" "+")
triple12
Dave is not nice.
False
1
inv-proof
[(triple3)]
("Dave" "is" "nice" "-")
triple3
Gary is white.
True
2
proof
[(((triple14) -> rule4))]
("Gary" "is" "white" "+")
((triple14) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple11) -> rule5))]
("Fiona" "is" "young" "-")
((triple11) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is quiet.
True
4
proof
[(((triple15 ((triple14) -> rule4)) -> rule1) OR ((((triple14) -> rule5) ((triple14) -> rule4)) -> rule1) OR ((((((triple14) -> rule8)) -> rule2) ((triple14) -> rule4)) -> rule1))]
("Gary" "is" "quiet" "+")
((triple15 ((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple14) -> (rule5 % int3)) ((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple14) -> (rule8 % int4))) -> (rule2 % int3)) ((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Fiona is not quiet.
False
5
inv-proof
[(((((triple11) -> rule5) ((triple11) -> rule4)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((triple11) -> (rule5 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Erin is not quiet.
Unknown
inv-rconc
[@2: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1) -> rule7) OR ((triple4) -> rule3) OR ((((triple7 triple6) -> rule1)) -> rule3) OR ((((triple7 ((triple5) -> rule4)) -> rule1)) -> rule3) OR ((((((triple3) -> rule2) triple6) -> rule1)) -> rule3) OR ((((((triple5) -> rule5) triple6) -> rule1)) -> rule3) OR ((((((triple3) -> rule2) ((triple5) -> rule4)) -> rule1)) -> rule3) OR ((((((triple5) -> rule5) ((triple5) -> rule4)) -> rule1)) -> rule3))] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple5) -> rule4)) -> rule1) OR ((((triple3) -> rule2) triple6) -> rule1) OR ((((triple5) -> rule5) triple6) -> rule1) OR ((((triple3) -> rule2) ((triple5) -> rule4)) -> rule1) OR ((((triple5) -> rule5) ((triple5) -> rule4)) -> rule1))] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple4) -> rule6) OR ((triple5) -> rule4))] Dave is young.[(triple7 OR ((triple3) -> rule2) OR ((triple5) -> rule5))] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple8) -> rule7))] Erin is white.[(triple10)] Fiona is round.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13 OR ((triple12) -> rule7) OR ((((triple15 ((triple14) -> rule4)) -> rule1)) -> rule3) OR ((((((triple14) -> rule5) ((triple14) -> rule4)) -> rule1)) -> rule3) OR ((((((((triple14) -> rule8)) -> rule2) ((triple14) -> rule4)) -> rule1)) -> rule3))] Gary is round.[(triple14)] Gary is young.[(triple15 OR ((triple14) -> rule5) OR ((((triple14) -> rule8)) -> rule2))] @1: Fiona is white.[(((triple11) -> rule4))] Fiona is young.[(((triple11) -> rule5))] Gary is nice.[(((triple14) -> rule8))] Gary is white.[(((triple14) -> rule4))] @2: Fiona is quiet.[(((((triple11) -> rule5) ((triple11) -> rule4)) -> rule1))] Gary is quiet.[(((triple15 ((triple14) -> rule4)) -> rule1) OR ((((triple14) -> rule5) ((triple14) -> rule4)) -> rule1) OR ((((((triple14) -> rule8)) -> rule2) ((triple14) -> rule4)) -> rule1))] @3: Fiona is blue.[(((((((triple11) -> rule5) ((triple11) -> rule4)) -> rule1)) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
((triple1) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple7 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple7 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple3) -> (rule2 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple3) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple5) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((triple7 triple6) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple7 ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple5) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple5) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple4) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple5) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple3) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple5) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
((triple8) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
((triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple15 ((triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple14) -> (rule5 % int4)) ((triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((((triple14) -> (rule8 % int5))) -> (rule2 % int4)) ((triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
((triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple14) -> (rule8 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple11) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple11) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple14) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple14) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple11) -> (rule5 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple15 ((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple14) -> (rule5 % int3)) ((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple14) -> (rule8 % int4))) -> (rule2 % int3)) ((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple11) -> (rule5 % int4)) ((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4