Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Dave is quiet. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Erin is white. If something is quiet and smart then it is green. If something is green then it is rough. All nice things are quiet. All quiet, white things are green. All rough things are nice. If something is quiet then it is green. If something is big then it is smart. All quiet things are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is quiet and smart then it is green.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
All nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All quiet, white things are green.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is big then it is smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Erin is green.
True
1
proof
[(triple10 OR ((triple12) -> rule6) OR ((triple12 triple14) -> rule1) OR ((triple12 triple15) -> rule4) OR ((((triple11) -> rule3)) -> rule6) OR ((triple12 ((triple9) -> rule7)) -> rule1) OR ((((triple11) -> rule3) triple14) -> rule1) OR ((((triple11) -> rule3) triple15) -> rule4) OR ((((triple11) -> rule3) ((triple9) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3)) -> rule6) OR ((triple12 ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) triple14) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) triple15) -> rule4) OR ((((triple11) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((triple9) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((triple12 ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((triple12 ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple11) -> rule3) ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1))]
("Erin" "is" "green" "+")
triple10
((triple12) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple12 triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple12 triple15) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple12 ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11) -> (rule3 % int2)) triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple11) -> (rule3 % int2)) triple15) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple11) -> (rule3 % int3)) ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple12 ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple15) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple11) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple13) -> (rule5 % int4))) -> (rule3 % int3)) ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple12 ((((((triple11) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11) -> (rule3 % int4)) ((((((triple11) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple11) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple12 ((((((((triple13) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((triple11) -> (rule3 % int5)) ((((((((triple13) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((((((((triple13) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Bob is not green.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule6) OR ((triple4 triple6) -> rule1) OR ((triple4 triple7) -> rule4) OR ((((triple3) -> rule3)) -> rule6) OR ((triple4 ((triple1) -> rule7)) -> rule1) OR ((((triple3) -> rule3) triple6) -> rule1) OR ((((triple3) -> rule3) triple7) -> rule4) OR ((((triple3) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3)) -> rule6) OR ((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) triple6) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) triple7) -> rule4) OR ((((triple3) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((triple4 ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((triple4 ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple3) -> rule3) ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1))]
("Bob" "is" "green" "-")
triple2
((triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 triple7) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple4 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple3) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple3) -> (rule3 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple4 ((((((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3) -> (rule3 % int4)) ((((((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple4 ((((((((triple5) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((((triple5) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((((((((triple5) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Dave is big.
True
2
proof
[(((triple8) -> rule8))]
("Dave" "is" "big" "+")
((triple8) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple8) -> rule8))]
("Dave" "is" "big" "-")
((triple8) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
True
3
proof
[(((((triple8) -> rule8)) -> rule7))]
("Dave" "is" "smart" "+")
((((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not rough.
False
3
inv-proof
[(((((triple8) -> rule6)) -> rule2) OR ((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1)) -> rule2))]
("Dave" "is" "rough" "-")
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple8 ((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is nice.
True
4
proof
[(((((((triple8) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))]
("Dave" "is" "nice" "+")
((((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is not nice.
False
4
inv-proof
[(((((((triple8) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))]
("Dave" "is" "nice" "-")
((((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
@0: Bob is big.[(triple1 OR ((triple4) -> rule8) OR ((((triple3) -> rule3)) -> rule8) OR ((((((triple5) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8))] Bob is green.[(triple2 OR ((triple4) -> rule6) OR ((triple4 triple6) -> rule1) OR ((triple4 triple7) -> rule4) OR ((((triple3) -> rule3)) -> rule6) OR ((triple4 ((triple1) -> rule7)) -> rule1) OR ((((triple3) -> rule3) triple6) -> rule1) OR ((((triple3) -> rule3) triple7) -> rule4) OR ((((triple3) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3)) -> rule6) OR ((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) triple6) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) triple7) -> rule4) OR ((((triple3) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((triple1) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1) OR ((triple4 ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((triple4 ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple3) -> rule3) ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1))] Bob is nice.[(triple3 OR ((triple5) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((((((triple4 triple6) -> rule1)) -> rule2)) -> rule5) OR ((((((triple4 triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((triple4 ((triple1) -> rule7)) -> rule1)) -> rule2)) -> rule5) OR ((((((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))] Bob is quiet.[(triple4 OR ((triple3) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3))] Bob is rough.[(triple5 OR ((triple2) -> rule2) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple4 triple6) -> rule1)) -> rule2) OR ((((triple4 triple7) -> rule4)) -> rule2) OR ((((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) triple6) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) triple7) -> rule4)) -> rule2) OR ((((((triple3) -> rule3) ((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) ((((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((triple4 ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2))] Bob is smart.[(triple6 OR ((triple1) -> rule7) OR ((((triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule3)) -> rule8)) -> rule7) OR ((((((((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8)) -> rule7))] Bob is white.[(triple7)] Dave is quiet.[(triple8)] Erin is big.[(triple9 OR ((triple12) -> rule8) OR ((((triple11) -> rule3)) -> rule8) OR ((((((triple13) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple10) -> rule2)) -> rule5)) -> rule3)) -> rule8))] Erin is green.[(triple10 OR ((triple12) -> rule6) OR ((triple12 triple14) -> rule1) OR ((triple12 triple15) -> rule4) OR ((((triple11) -> rule3)) -> rule6) OR ((triple12 ((triple9) -> rule7)) -> rule1) OR ((((triple11) -> rule3) triple14) -> rule1) OR ((((triple11) -> rule3) triple15) -> rule4) OR ((((triple11) -> rule3) ((triple9) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3)) -> rule6) OR ((triple12 ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) triple14) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) triple15) -> rule4) OR ((((triple11) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((triple9) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1) OR ((triple12 ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((triple12 ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((triple11) -> rule3) ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule3) ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7)) -> rule1))] Erin is nice.[(triple11 OR ((triple13) -> rule5) OR ((((triple10) -> rule2)) -> rule5) OR ((((((triple12) -> rule6)) -> rule2)) -> rule5) OR ((((((triple12 triple14) -> rule1)) -> rule2)) -> rule5) OR ((((((triple12 triple15) -> rule4)) -> rule2)) -> rule5) OR ((((((triple12 ((triple9) -> rule7)) -> rule1)) -> rule2)) -> rule5) OR ((((((triple12 ((((triple12) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))] Erin is quiet.[(triple12 OR ((triple11) -> rule3) OR ((((triple13) -> rule5)) -> rule3) OR ((((((triple10) -> rule2)) -> rule5)) -> rule3))] Erin is rough.[(triple13 OR ((triple10) -> rule2) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple12 triple14) -> rule1)) -> rule2) OR ((((triple12 triple15) -> rule4)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6)) -> rule2) OR ((((triple12 ((triple9) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) triple14) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) triple15) -> rule4)) -> rule2) OR ((((((triple11) -> rule3) ((triple9) -> rule7)) -> rule1)) -> rule2) OR ((((triple12 ((((triple12) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) ((((triple12) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((triple12 ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule1)) -> rule2))] Erin is smart.[(triple14 OR ((triple9) -> rule7) OR ((((triple12) -> rule8)) -> rule7) OR ((((((triple11) -> rule3)) -> rule8)) -> rule7) OR ((((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule7) OR ((((((((((triple10) -> rule2)) -> rule5)) -> rule3)) -> rule8)) -> rule7))] Erin is white.[(triple15)] @1: Dave is big.[(((triple8) -> rule8))] Dave is green.[(((triple8) -> rule6) OR ((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1))] @2: Dave is rough.[(((((triple8) -> rule6)) -> rule2) OR ((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1)) -> rule2))] Dave is smart.[(((((triple8) -> rule8)) -> rule7))] @3: Dave is nice.[(((((((triple8) -> rule6)) -> rule2)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule7)) -> rule1)) -> rule2)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple4) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 triple7) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple4 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple3) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple3) -> (rule3 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple4 ((((((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3) -> (rule3 % int4)) ((((((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((triple4 ((((((((triple5) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((((triple5) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5) -> (rule5 % int5))) -> (rule3 % int4)) ((((((((triple5) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4 ((((triple4) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple3) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple4 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple3) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3) -> (rule3 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3) -> (rule3 % int4)) ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4 ((((triple4) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple3) -> (rule3 % int5)) ((((triple4) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4 ((((((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple3) -> (rule3 % int5)) ((((((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple1) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
((triple12) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple13) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((((triple10) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
triple10
((triple12) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple12 triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple12 triple15) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple12 ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11) -> (rule3 % int2)) triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple11) -> (rule3 % int2)) triple15) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple11) -> (rule3 % int3)) ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple12 ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple15) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple11) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple13) -> (rule5 % int4))) -> (rule3 % int3)) ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple12 ((((((triple11) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11) -> (rule3 % int4)) ((((((triple11) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple11) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple12 ((((((((triple13) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((triple11) -> (rule3 % int5)) ((((((((triple13) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple13) -> (rule5 % int5))) -> (rule3 % int4)) ((((((((triple13) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
triple11
((triple13) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple12 triple14) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple12 triple15) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple12 ((triple9) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple12 ((((triple12) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
((triple11) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple13
((triple10) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple12 triple14) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple12 triple15) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple12 ((triple9) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple11) -> (rule3 % int3)) triple14) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple11) -> (rule3 % int3)) triple15) -> (rule4 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple11) -> (rule3 % int4)) ((triple9) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple12 ((((triple12) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple11) -> (rule3 % int5)) ((((triple12) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple12 ((((((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple11) -> (rule3 % int5)) ((((((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
triple14
((triple9) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple11) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((((triple13) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((((triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple15
Dave is big.
("Dave" "is" "big" "+")
((triple8) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple8) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple8 ((((triple8) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple8 ((((triple8) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5