Bob is big. Bob is furry. Bob is green. Bob is smart. Bob is white. Bob is young. Dave is furry. Dave is smart. Dave is young. Erin is smart. Harry is not green. If Erin is smart and Erin is furry then Erin is green. White people are green. All smart people are young. Quiet people are young. All young, green people are quiet. If someone is quiet then they are big. If Harry is green then Harry is white. If someone is furry then they are smart. Young, smart people are white.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is not green.
("Harry" "is" "green" "-")
If Erin is smart and Erin is furry then Erin is green.
((("Erin" "is" "smart" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "green" "+"))
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All young, green people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet then they are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If Harry is green then Harry is white.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "white" "+"))
If someone is furry then they are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Young, smart people are white.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Bob is white.
True
1
proof
[(triple5 OR ((triple6 triple4) -> rule9) OR ((triple6 ((triple2) -> rule8)) -> rule9) OR ((((triple4) -> rule3) triple4) -> rule9) OR ((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9) OR ((((((triple2) -> rule8)) -> rule3) triple4) -> rule9) OR ((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9))]
("Bob" "is" "white" "+")
triple5
((triple6 triple4) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple6 ((triple2) -> (rule8 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple2) -> (rule8 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple4) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) ((triple2) -> (rule8 % int3))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not young.
False
1
inv-proof
[(triple6 OR ((triple4) -> rule3) OR ((((triple2) -> rule8)) -> rule3))]
("Bob" "is" "young" "-")
triple6
((triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Erin is young.
True
2
proof
[(((triple10) -> rule3))]
("Erin" "is" "young" "+")
((triple10) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple10) -> rule3))]
("Erin" "is" "young" "-")
((triple10) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
True
4
proof
[(((((triple10) -> rule3) triple10) -> rule9))]
("Erin" "is" "white" "+")
((((triple10) -> (rule3 % int2)) triple10) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Dave is not green.
False
4
inv-proof
[(((((triple9 triple8) -> rule9)) -> rule2) OR ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2) OR ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2) OR ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2))]
("Dave" "is" "green" "-")
((((triple9 triple8) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple9 ((triple7) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int3)) triple8) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple8) -> (rule3 % int4)) ((triple7) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) triple8) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((triple7) -> (rule8 % int4))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
True
6
proof
[(((triple9 ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5))]
("Dave" "is" "quiet" "+")
((triple9 ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((triple9 ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((triple9 ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple9 ((((((triple8) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int5)) ((((triple9 ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple8) -> (rule3 % int5)) ((((((triple8) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int4))) -> (rule3 % int5)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int4))) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is not quiet.
False
6
inv-proof
[(((triple9 ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5))]
("Dave" "is" "quiet" "-")
((triple9 ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((triple9 ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((triple9 ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple9 ((((((triple8) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int5)) ((((triple9 ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple8) -> (rule3 % int5)) ((((((triple8) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int4))) -> (rule3 % int5)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int4))) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Erin is quiet.
True
8
proof
[(((((triple10) -> rule3) ((((((triple10) -> rule3) triple10) -> rule9)) -> rule2)) -> rule5))]
("Erin" "is" "quiet" "+")
((((triple10) -> (rule3 % int4)) ((((((triple10) -> (rule3 % int4)) triple10) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is not quiet.
False
8
inv-proof
[(((((triple10) -> rule3) ((((((triple10) -> rule3) triple10) -> rule9)) -> rule2)) -> rule5))]
("Erin" "is" "quiet" "-")
((((triple10) -> (rule3 % int4)) ((((((triple10) -> (rule3 % int4)) triple10) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
True
9
proof
[(((((((triple10) -> rule3) ((((((triple10) -> rule3) triple10) -> rule9)) -> rule2)) -> rule5)) -> rule6))]
("Erin" "is" "big" "+")
((((((triple10) -> (rule3 % int5)) ((((((triple10) -> (rule3 % int5)) triple10) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is not big.
False
9
inv-proof
[(((((((triple10) -> rule3) ((((((triple10) -> rule3) triple10) -> rule9)) -> rule2)) -> rule5)) -> rule6))]
("Erin" "is" "big" "-")
((((((triple10) -> (rule3 % int5)) ((((((triple10) -> (rule3 % int5)) triple10) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not white.
Unknown
inv-rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule9 <- rule8 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Bob is big.[(triple1 OR ((((triple6 triple3) -> rule5)) -> rule6) OR ((((triple6 ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) triple3) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple6 ((((triple6 triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) triple3) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) ((((triple6 triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) ((((triple6 triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple6 ((((triple6 ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple6 ((((((triple4) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple6 ((((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) ((((triple6 ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) ((((((triple4) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) ((((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) ((((triple6 ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) ((((((triple4) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) ((((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple6 ((((((((triple2) -> rule8)) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple6 ((((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) ((((((((triple2) -> rule8)) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) ((((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) ((((((((triple2) -> rule8)) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule3) ((((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6))] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple5) -> rule2) OR ((((triple6 triple4) -> rule9)) -> rule2) OR ((((triple6 ((triple2) -> rule8)) -> rule9)) -> rule2) OR ((((((triple4) -> rule3) triple4) -> rule9)) -> rule2) OR ((((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule3) triple4) -> rule9)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2))] Bob is smart.[(triple4 OR ((triple2) -> rule8))] Bob is white.[(triple5 OR ((triple6 triple4) -> rule9) OR ((triple6 ((triple2) -> rule8)) -> rule9) OR ((((triple4) -> rule3) triple4) -> rule9) OR ((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9) OR ((((((triple2) -> rule8)) -> rule3) triple4) -> rule9) OR ((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9))] Bob is young.[(triple6 OR ((triple4) -> rule3) OR ((((triple2) -> rule8)) -> rule3))] Dave is furry.[(triple7)] Dave is smart.[(triple8 OR ((triple7) -> rule8))] Dave is young.[(triple9 OR ((triple8) -> rule3) OR ((((triple7) -> rule8)) -> rule3))] Erin is smart.[(triple10)] Harry is not green.[(triple11)] @1: Bob is quiet.[(((triple6 triple3) -> rule5) OR ((triple6 ((triple5) -> rule2)) -> rule5) OR ((((triple4) -> rule3) triple3) -> rule5) OR ((((triple4) -> rule3) ((triple5) -> rule2)) -> rule5) OR ((triple6 ((((triple6 triple4) -> rule9)) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) triple3) -> rule5) OR ((((triple4) -> rule3) ((((triple6 triple4) -> rule9)) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((triple5) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((((triple6 triple4) -> rule9)) -> rule2)) -> rule5) OR ((triple6 ((((triple6 ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple6 ((((((triple4) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5) OR ((triple6 ((((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple4) -> rule3) ((((triple6 ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple4) -> rule3) ((((((triple4) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5) OR ((((triple4) -> rule3) ((((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((((triple6 ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((((((triple4) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((((((triple4) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple6 ((((((((triple2) -> rule8)) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5) OR ((triple6 ((((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple4) -> rule3) ((((((((triple2) -> rule8)) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5) OR ((((triple4) -> rule3) ((((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((((((((triple2) -> rule8)) -> rule3) triple4) -> rule9)) -> rule2)) -> rule5) OR ((((((triple2) -> rule8)) -> rule3) ((((((((triple2) -> rule8)) -> rule3) ((triple2) -> rule8)) -> rule9)) -> rule2)) -> rule5))] Dave is white.[(((triple9 triple8) -> rule9) OR ((triple9 ((triple7) -> rule8)) -> rule9) OR ((((triple8) -> rule3) triple8) -> rule9) OR ((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9) OR ((((((triple7) -> rule8)) -> rule3) triple8) -> rule9) OR ((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9))] Erin is young.[(((triple10) -> rule3))] @2: Dave is green.[(((((triple9 triple8) -> rule9)) -> rule2) OR ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2) OR ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2) OR ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2))] Erin is white.[(((((triple10) -> rule3) triple10) -> rule9))] @3: Dave is quiet.[(((triple9 ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((triple9 ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5) OR ((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5))] Erin is green.[(((((((triple10) -> rule3) triple10) -> rule9)) -> rule2))] @4: Dave is big.[(((((triple9 ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple8) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule3) ((((triple9 triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple9 ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple9 ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple9 ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple8) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple8) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple8) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule3) ((((triple9 ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule3) ((((((triple8) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple9 ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((triple9 ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple8) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) triple8) -> rule9)) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule3) ((((((((triple7) -> rule8)) -> rule3) ((triple7) -> rule8)) -> rule9)) -> rule2)) -> rule5)) -> rule6))] Erin is quiet.[(((((triple10) -> rule3) ((((((triple10) -> rule3) triple10) -> rule9)) -> rule2)) -> rule5))] @5: Erin is big.[(((((((triple10) -> rule3) ((((((triple10) -> rule3) triple10) -> rule9)) -> rule2)) -> rule5)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple6 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple6 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule3 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple6 ((((triple6 triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule3 % int5)) ((((triple6 triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple6 triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple6 ((((triple6 ((triple2) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple6 ((((((triple4) -> (rule3 % int5)) triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple6 ((((((triple4) -> (rule3 % int6)) ((triple2) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple4) -> (rule3 % int6)) ((((triple6 ((triple2) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple4) -> (rule3 % int5)) ((((((triple4) -> (rule3 % int5)) triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple4) -> (rule3 % int6)) ((((((triple4) -> (rule3 % int6)) ((triple2) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple6 ((triple2) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule3 % int5)) triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule3 % int5)) ((triple2) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple6 ((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple6 ((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((triple2) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((triple4) -> (rule3 % int6)) ((((((((triple2) -> (rule8 % int5))) -> (rule3 % int6)) triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple4) -> (rule3 % int6)) ((((((((triple2) -> (rule8 % int5))) -> (rule3 % int6)) ((triple2) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) triple4) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((((((((triple2) -> (rule8 % int6))) -> (rule3 % int5)) ((triple2) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple6 triple4) -> (rule9 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple6 ((triple2) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple4) -> (rule3 % int3)) triple4) -> (rule9 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple4) -> (rule3 % int4)) ((triple2) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple4) -> (rule9 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple2) -> (rule8 % int4))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple2) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple5
((triple6 triple4) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple6 ((triple2) -> (rule8 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple2) -> (rule8 % int2))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple4) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) ((triple2) -> (rule8 % int3))) -> (rule9 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
((triple7) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple9
((triple8) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple11
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple6 triple3) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple6 ((((triple6 triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple4) -> (rule3 % int4)) ((((triple6 triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2) -> (rule8 % int4))) -> (rule3 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple6 triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((triple6 ((((triple6 ((triple2) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((triple6 ((((((triple4) -> (rule3 % int4)) triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple6 ((((((triple4) -> (rule3 % int5)) ((triple2) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple4) -> (rule3 % int5)) ((((triple6 ((triple2) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple4) -> (rule3 % int4)) ((((((triple4) -> (rule3 % int4)) triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple4) -> (rule3 % int5)) ((((((triple4) -> (rule3 % int5)) ((triple2) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple6 ((triple2) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule3 % int4)) triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule3 % int4)) ((triple2) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((triple6 ((((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((triple6 ((((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((triple2) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple4) -> (rule3 % int5)) ((((((((triple2) -> (rule8 % int4))) -> (rule3 % int5)) triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple4) -> (rule3 % int5)) ((((((((triple2) -> (rule8 % int4))) -> (rule3 % int5)) ((triple2) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) triple4) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple2) -> (rule8 % int5))) -> (rule3 % int4)) ((triple2) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
((triple9 triple8) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple9 ((triple7) -> (rule8 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2)) triple8) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple7) -> (rule8 % int2))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule3 % int2)) ((triple7) -> (rule8 % int3))) -> (rule9 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((triple10) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple9 triple8) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple9 ((triple7) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int3)) triple8) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple8) -> (rule3 % int4)) ((triple7) -> (rule8 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) triple8) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((triple7) -> (rule8 % int4))) -> (rule9 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((((triple10) -> (rule3 % int2)) triple10) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple9 ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((triple9 ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((triple9 ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple9 ((((((triple8) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int5)) ((((triple9 ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple8) -> (rule3 % int5)) ((((((triple8) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple9 ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((triple9 ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int4))) -> (rule3 % int5)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple8) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int4))) -> (rule3 % int5)) ((triple7) -> (rule8 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((triple7) -> (rule8 % int5))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
((((((triple10) -> (rule3 % int3)) triple10) -> (rule9 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((((triple9 ((((triple9 triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple8) -> (rule3 % int5)) ((((triple9 triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple9 triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((triple9 ((((triple9 ((triple7) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple9 ((((((triple8) -> (rule3 % int5)) triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple9 ((((((triple8) -> (rule3 % int6)) ((triple7) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple8) -> (rule3 % int6)) ((((triple9 ((triple7) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple8) -> (rule3 % int5)) ((((((triple8) -> (rule3 % int5)) triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple8) -> (rule3 % int6)) ((((((triple8) -> (rule3 % int6)) ((triple7) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple9 ((triple7) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple8) -> (rule3 % int5)) triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple8) -> (rule3 % int5)) ((triple7) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((triple9 ((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((triple9 ((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((triple7) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((triple8) -> (rule3 % int6)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int6)) triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple8) -> (rule3 % int6)) ((((((((triple7) -> (rule8 % int5))) -> (rule3 % int6)) ((triple7) -> (rule8 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5)) ((triple7) -> (rule8 % int6))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple10) -> (rule3 % int4)) ((((((triple10) -> (rule3 % int4)) triple10) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((((((triple10) -> (rule3 % int5)) ((((((triple10) -> (rule3 % int5)) triple10) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5