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