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