Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Dave is young. Gary is quiet. Gary is smart. Gary is white. Young things are quiet. If Gary is smart and Gary is white then Gary is quiet. Young, white things are red. Quiet things are nice. Furry things are white. If something is quiet and nice then it is furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
If Gary is smart and Gary is white then Gary is quiet.
((("Gary" "is" "smart" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "quiet" "+"))
Young, white things are red.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If something is quiet and nice then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Bob is white.
True
1
proof
[(triple6 OR ((triple1) -> rule5) OR ((((triple3 triple2) -> rule6)) -> rule5) OR ((((triple3 ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7) -> rule1) triple2) -> rule6)) -> rule5) OR ((((((triple7) -> rule1) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((triple3 ((((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5))]
("Bob" "is" "white" "+")
triple6
((triple1) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple7) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Gary is not white.
False
1
inv-proof
[(triple15 OR ((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule5))]
("Gary" "is" "white" "-")
triple15
((((triple13 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Dave is red.
True
3
proof
[(((triple12 triple11) -> rule3) OR ((triple12 ((((triple9 triple8) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((triple9 ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) triple8) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((triple9 ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3))]
("Dave" "is" "red" "+")
((triple12 triple11) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple12 ((((triple9 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple12 ((((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple12 ((((((triple12) -> (rule1 % int4)) triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((triple12 ((((((triple12) -> (rule1 % int5)) ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((triple9 ((((triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((((triple12) -> (rule1 % int5)) ((((triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is not red.
False
3
inv-proof
[(((triple12 triple11) -> rule3) OR ((triple12 ((((triple9 triple8) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((triple9 ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) triple8) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((triple9 ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3))]
("Dave" "is" "red" "-")
((triple12 triple11) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple12 ((((triple9 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple12 ((((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple12 ((((((triple12) -> (rule1 % int4)) triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((triple12 ((((((triple12) -> (rule1 % int5)) ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((triple9 ((((triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((((triple12) -> (rule1 % int5)) ((((triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is furry.[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule4)) -> rule6) OR ((((triple7) -> rule1) triple2) -> rule6) OR ((((triple7) -> rule1) ((triple3) -> rule4)) -> rule6) OR ((triple3 ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule6))] Bob is nice.[(triple2 OR ((triple3) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] Bob is quiet.[(triple3 OR ((triple7) -> rule1))] Bob is red.[(triple4 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple1) -> rule5)) -> rule3) OR ((triple7 ((((triple3 triple2) -> rule6)) -> rule5)) -> rule3) OR ((triple7 ((((triple3 ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple7 ((((((triple7) -> rule1) triple2) -> rule6)) -> rule5)) -> rule3) OR ((triple7 ((((((triple7) -> rule1) ((triple3) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple7 ((((triple3 ((((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple7 ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple1) -> rule5) OR ((((triple3 triple2) -> rule6)) -> rule5) OR ((((triple3 ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7) -> rule1) triple2) -> rule6)) -> rule5) OR ((((((triple7) -> rule1) ((triple3) -> rule4)) -> rule6)) -> rule5) OR ((((triple3 ((((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5))] Bob is young.[(triple7)] Dave is nice.[(triple8 OR ((triple9) -> rule4) OR ((((triple12) -> rule1)) -> rule4))] Dave is quiet.[(triple9 OR ((triple12) -> rule1))] Dave is smart.[(triple10)] Dave is white.[(triple11 OR ((((triple9 triple8) -> rule6)) -> rule5) OR ((((triple9 ((triple9) -> rule4)) -> rule6)) -> rule5) OR ((((((triple12) -> rule1) triple8) -> rule6)) -> rule5) OR ((((((triple12) -> rule1) ((triple9) -> rule4)) -> rule6)) -> rule5) OR ((((triple9 ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5))] Dave is young.[(triple12)] Gary is quiet.[(triple13 OR ((triple14 triple15) -> rule2))] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule5))] @1: Dave is furry.[(((triple9 triple8) -> rule6) OR ((triple9 ((triple9) -> rule4)) -> rule6) OR ((((triple12) -> rule1) triple8) -> rule6) OR ((((triple12) -> rule1) ((triple9) -> rule4)) -> rule6) OR ((triple9 ((((triple12) -> rule1)) -> rule4)) -> rule6) OR ((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule4)) -> rule6))] Dave is red.[(((triple12 triple11) -> rule3) OR ((triple12 ((((triple9 triple8) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((triple9 ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) triple8) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) ((triple9) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((triple9 ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3) OR ((triple12 ((((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule4)) -> rule6)) -> rule5)) -> rule3))] Gary is nice.[(((triple13) -> rule4) OR ((((triple14 triple15) -> rule2)) -> rule4))] @2: Gary is furry.[(((triple13 ((triple13) -> rule4)) -> rule6) OR ((((triple14 triple15) -> rule2) ((triple13) -> rule4)) -> rule6) OR ((triple13 ((((triple14 triple15) -> rule2)) -> rule4)) -> rule6) OR ((((triple14 triple15) -> rule2) ((((triple14 triple15) -> rule2)) -> rule4)) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple3 triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple3 ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple7) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple3 ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple7) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple7 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple7 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple7 ((((triple3 triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple7 ((((triple3 ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple7 ((((((triple7) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple7 ((((((triple7) -> (rule1 % int5)) ((triple3) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple7 ((((triple3 ((((triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple7 ((((((triple7) -> (rule1 % int5)) ((((triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple1) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple7) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple3) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
((triple9) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
((triple12) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple11
((((triple9 triple8) -> (rule6 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple9 ((triple9) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple12) -> (rule1 % int3)) triple8) -> (rule6 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple12) -> (rule1 % int4)) ((triple9) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple9 ((((triple12) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple12) -> (rule1 % int4)) ((((triple12) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
((triple14 triple15) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
((((triple13 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple9 triple8) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple9 ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple12) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple12) -> (rule1 % int3)) ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple9 ((((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple12) -> (rule1 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((triple12 triple11) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple12 ((((triple9 triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple12 ((((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple12 ((((((triple12) -> (rule1 % int4)) triple8) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((triple12 ((((((triple12) -> (rule1 % int5)) ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((triple9 ((((triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple12 ((((((triple12) -> (rule1 % int5)) ((((triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
((triple13) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple14 triple15) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((triple13 ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple14 triple15) -> (rule2 % int3)) ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple13 ((((triple14 triple15) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple14 triple15) -> (rule2 % int3)) ((((triple14 triple15) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3