Anne is red. Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Charlie is cold. Charlie is smart. Harry is cold. If someone is rough and cold then they are blue. Rough people are red. If someone is cold then they are quiet. Blue, red people are nice. Nice people are blue. Cold, smart people are nice. All red people are cold. If someone is cold and quiet then they are rough.
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and cold then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Blue, red people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Cold, smart people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and quiet then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Harry is cold.
True
1
proof
[(triple11)]
("Harry" "is" "cold" "+")
triple11
Charlie is not smart.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "smart" "-")
triple10
Charlie is nice.
True
3
proof
[(((triple9 triple10) -> rule6) OR ((((((triple9 ((triple9) -> rule3)) -> rule8) triple9) -> rule1) ((((triple9 ((triple9) -> rule3)) -> rule8)) -> rule2)) -> rule4))]
("Charlie" "is" "nice" "+")
((triple9 triple10) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule8 % int4)) triple9) -> (rule1 % int3)) ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Harry is not quiet.
False
2
inv-proof
[(((triple11) -> rule3))]
("Harry" "is" "quiet" "-")
((triple11) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Charlie is blue.
True
4
proof
[(((((triple9 triple10) -> rule6)) -> rule5) OR ((((triple9 ((triple9) -> rule3)) -> rule8) triple9) -> rule1))]
("Charlie" "is" "blue" "+")
((((triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Anne is not quiet.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule3))]
("Anne" "is" "quiet" "-")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
True
6
proof
[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8))]
("Anne" "is" "rough" "+")
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Charlie is not red.
False
5
inv-proof
[(((((triple9 ((triple9) -> rule3)) -> rule8)) -> rule2))]
("Charlie" "is" "red" "-")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Anne is blue.
True
9
proof
[(((((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8) ((triple1) -> rule7)) -> rule1))]
("Anne" "is" "blue" "+")
((((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple1) -> (rule7 % int4))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Harry is not nice.
False
12
inv-proof
[(((((((triple11 ((triple11) -> rule3)) -> rule8) triple11) -> rule1) ((((triple11 ((triple11) -> rule3)) -> rule8)) -> rule2)) -> rule4))]
("Harry" "is" "nice" "-")
((((((triple11 ((triple11) -> (rule3 % int5))) -> (rule8 % int4)) triple11) -> (rule1 % int3)) ((((triple11 ((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Anne is nice.
True
11
proof
[(((((((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8) ((triple1) -> rule7)) -> rule1) triple1) -> rule4))]
("Anne" "is" "nice" "+")
((((((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple1) -> (rule7 % int5))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is not nice.
False
11
inv-proof
[(((((((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8) ((triple1) -> rule7)) -> rule1) triple1) -> rule4))]
("Anne" "is" "nice" "-")
((((((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple1) -> (rule7 % int5))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is red.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule5) OR ((triple7 triple3) -> rule1) OR ((((triple3 triple8) -> rule6)) -> rule5) OR ((triple7 ((triple6) -> rule7)) -> rule1) OR ((((triple3 triple5) -> rule8) triple3) -> rule1) OR ((((triple3 triple5) -> rule8) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) triple8) -> rule6)) -> rule5) OR ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule8) triple3) -> rule1) OR ((((((triple6) -> rule7) triple5) -> rule8) triple3) -> rule1) OR ((((triple3 triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) triple5) -> rule8) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) triple3) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple7) -> rule2)) -> rule7) triple8) -> rule6)) -> rule5) OR ((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) OR ((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) OR ((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) OR ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1))] Bob is cold.[(triple3 OR ((triple6) -> rule7) OR ((((triple7) -> rule2)) -> rule7))] Bob is nice.[(triple4 OR ((triple2 triple6) -> rule4) OR ((triple3 triple8) -> rule6) OR ((triple2 ((triple7) -> rule2)) -> rule4) OR ((((triple6) -> rule7) triple8) -> rule6) OR ((((triple7 triple3) -> rule1) triple6) -> rule4) OR ((((triple7 triple3) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((triple2 ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple7) -> rule2)) -> rule7) triple8) -> rule6) OR ((((triple7 ((triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple3 triple5) -> rule8) triple3) -> rule1) triple6) -> rule4) OR ((((triple7 triple3) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((triple7 ((triple6) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) triple3) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) ((triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((triple7 ((triple6) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) triple3) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) ((triple6) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((triple2 ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) triple3) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) triple3) -> rule1) triple6) -> rule4) OR ((((triple7 triple3) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) triple3) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) triple3) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) triple3) -> rule1) triple6) -> rule4) OR ((((triple7 ((triple6) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) triple3) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) triple3) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((triple6) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) triple3) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) triple3) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple3 triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) triple5) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) triple6) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) triple6) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) triple3) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((triple6) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 triple5) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2)) -> rule4))] Bob is quiet.[(triple5 OR ((triple3) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple7) -> rule2)) -> rule7)) -> rule3))] Bob is red.[(triple6 OR ((triple7) -> rule2) OR ((((triple3 triple5) -> rule8)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule8)) -> rule2))] Bob is rough.[(triple7 OR ((triple3 triple5) -> rule8) OR ((triple3 ((triple3) -> rule3)) -> rule8) OR ((((triple6) -> rule7) triple5) -> rule8) OR ((((triple6) -> rule7) ((triple3) -> rule3)) -> rule8) OR ((triple3 ((((triple6) -> rule7)) -> rule3)) -> rule8) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule3)) -> rule8))] Bob is smart.[(triple8)] Charlie is cold.[(triple9)] Charlie is smart.[(triple10)] Harry is cold.[(triple11)] @1: Anne is cold.[(((triple1) -> rule7))] Charlie is nice.[(((triple9 triple10) -> rule6) OR ((((((triple9 ((triple9) -> rule3)) -> rule8) triple9) -> rule1) ((((triple9 ((triple9) -> rule3)) -> rule8)) -> rule2)) -> rule4))] Charlie is quiet.[(((triple9) -> rule3))] Harry is quiet.[(((triple11) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule7)) -> rule3))] Charlie is blue.[(((((triple9 triple10) -> rule6)) -> rule5) OR ((((triple9 ((triple9) -> rule3)) -> rule8) triple9) -> rule1))] Charlie is rough.[(((triple9 ((triple9) -> rule3)) -> rule8))] Harry is rough.[(((triple11 ((triple11) -> rule3)) -> rule8))] @3: Anne is rough.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8))] Charlie is red.[(((((triple9 ((triple9) -> rule3)) -> rule8)) -> rule2))] Harry is blue.[(((((triple11 ((triple11) -> rule3)) -> rule8) triple11) -> rule1))] Harry is red.[(((((triple11 ((triple11) -> rule3)) -> rule8)) -> rule2))] @4: Anne is blue.[(((((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8) ((triple1) -> rule7)) -> rule1))] Harry is nice.[(((((((triple11 ((triple11) -> rule3)) -> rule8) triple11) -> rule1) ((((triple11 ((triple11) -> rule3)) -> rule8)) -> rule2)) -> rule4))] @5: Anne is nice.[(((((((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8) ((triple1) -> rule7)) -> rule1) triple1) -> rule4))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple4) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple7 triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3 triple8) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple7 ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3 triple5) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple3 triple5) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple6) -> (rule7 % int3)) triple8) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple7 ((((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 ((triple3) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple6) -> (rule7 % int3)) triple5) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3 triple5) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((triple3) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple6) -> (rule7 % int3)) triple5) -> (rule8 % int2)) ((triple6) -> (rule7 % int3))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple3) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple6) -> (rule7 % int4)) triple5) -> (rule8 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple6) -> (rule7 % int4)) ((triple3) -> (rule3 % int3))) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple6) -> (rule7 % int5)) ((triple3) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule2 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple3 ((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3 ((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3 ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple6) -> (rule7 % int5)) ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
triple3
((triple6) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple2 triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 triple8) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple2 ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple6) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple7 triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple7 triple3) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple2 ((((triple3 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple7 ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple3 triple5) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple7 triple3) -> (rule1 % int4)) ((((triple3 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple7 ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3 triple5) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple3 triple5) -> (rule8 % int4)) ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple7 ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple3 triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3 triple5) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple3 triple5) -> (rule8 % int5)) ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple2 ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple7 ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple3 ((triple3) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple6) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple7 triple3) -> (rule1 % int5)) ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple7 ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7) -> (rule2 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple3 triple5) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple6) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int4)) triple5) -> (rule8 % int3)) ((triple6) -> (rule7 % int4))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((triple6) -> (rule7 % int5)) ((triple3) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple7 ((triple6) -> (rule7 % int6))) -> (rule1 % int5)) ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int2))) -> (rule2 % int5))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 triple5) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7) -> (rule2 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5)) ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((triple6) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) triple5) -> (rule8 % int4)) ((triple6) -> (rule7 % int5))) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) triple5) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int5)) ((triple3) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int5))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple7 ((((triple7) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int6))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule3 % int3))) -> (rule8 % int6))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 triple5) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple3 triple5) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5)) ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7) -> (rule2 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((triple6) -> (rule7 % int6)) triple5) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int5)) triple5) -> (rule8 % int4)) ((triple6) -> (rule7 % int5))) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) triple5) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule1 % int2)) ((triple7) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 triple5) -> (rule8 % int6)) ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int2))) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5)) ((triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple3 triple5) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((triple6) -> (rule7 % int6)) triple5) -> (rule8 % int5)) ((triple6) -> (rule7 % int6))) -> (rule1 % int4)) ((((triple3 ((triple3) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int5)) triple5) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule1 % int2)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((triple7) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((triple6) -> (rule7 % int6)) triple5) -> (rule8 % int5)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int2))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((triple3) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int5))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule7 % int5)) ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int5)) ((((triple6) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int5))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((triple7) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((triple7) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3 ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule7 % int6))) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((((triple3 triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((((triple6) -> (rule7 % int6)) ((((triple6) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule1 % int2)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
((triple3) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple6
((triple7) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3 triple5) -> (rule8 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple3 ((triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple7
((triple3 triple5) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple3 ((triple3) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple6) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple3) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple6) -> (rule7 % int3)) ((((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple9 triple10) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((((triple9 ((triple9) -> (rule3 % int5))) -> (rule8 % int4)) triple9) -> (rule1 % int3)) ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple9) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple11) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple11 ((triple11) -> (rule3 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple11 ((triple11) -> (rule3 % int3))) -> (rule8 % int2)) triple11) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((triple11 ((triple11) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple1) -> (rule7 % int4))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple11 ((triple11) -> (rule3 % int5))) -> (rule8 % int4)) triple11) -> (rule1 % int3)) ((((triple11 ((triple11) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
((((((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple1) -> (rule7 % int5))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5