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