Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is round. Charlie is green. Erin is blue. Erin is furry. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is round. All kind people are red. Red people are kind. All green, red people are kind. If someone is kind and green then they are furry. If someone is red and kind then they are green. Kind, green people are round. If someone is furry and cold then they are red. Kind people are furry. All blue people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All green, red people are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is red and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Kind, green people are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is furry and cold then they are red.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Harry is not kind.
False
1
inv-proof
[(triple14 OR ((triple15) -> rule2) OR ((triple13 triple15) -> rule3) OR ((((triple12 triple11) -> rule7)) -> rule2) OR ((triple13 ((triple12 triple11) -> rule7)) -> rule3) OR ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) OR ((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3))]
("Harry" "is" "kind" "-")
triple14
((triple15) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple13 triple15) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple12 triple11) -> (rule7 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple13 ((triple12 triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple13 ((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Erin is cold.
True
2
proof
[(((triple8) -> rule9))]
("Erin" "is" "cold" "+")
((triple8) -> (rule9 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple8) -> rule9))]
("Erin" "is" "cold" "-")
((triple8) -> (rule9 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
True
4
proof
[(((triple9 ((triple8) -> rule9)) -> rule7))]
("Erin" "is" "red" "+")
((triple9 ((triple8) -> (rule9 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not red.
False
4
inv-proof
[(((triple9 ((triple8) -> rule9)) -> rule7))]
("Erin" "is" "red" "-")
((triple9 ((triple8) -> (rule9 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
True
5
proof
[(((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2))]
("Erin" "is" "kind" "+")
((((triple9 ((triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is not kind.
False
5
inv-proof
[(((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2))]
("Erin" "is" "kind" "-")
((((triple9 ((triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
True
10
proof
[(((((triple9 ((triple8) -> rule9)) -> rule7) ((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule5))]
("Erin" "is" "green" "+")
((((triple9 ((triple8) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple9 ((triple8) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is not green.
False
10
inv-proof
[(((((triple9 ((triple8) -> rule9)) -> rule7) ((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule5))]
("Erin" "is" "green" "-")
((((triple9 ((triple8) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple9 ((triple8) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
True
16
proof
[(((((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2) ((((triple9 ((triple8) -> rule9)) -> rule7) ((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6))]
("Erin" "is" "round" "+")
((((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is not round.
False
16
inv-proof
[(((((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2) ((((triple9 ((triple8) -> rule9)) -> rule7) ((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6))]
("Erin" "is" "round" "-")
((((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Charlie is not round.
Unknown
inv-rconc
[@6: Charlie is round.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule1 <- rule3 <- rule7 <- rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is furry.
Unknown
rconc
[@6: Charlie is furry.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- rule3 <- rule7 <- rule8 <- FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not kind.
Unknown
inv-rconc
[@5: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- rule7 <- rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not red.
Unknown
inv-rconc
[@4: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule7 <- rule9 <- FAIL)]]
("Charlie" "is" "red" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule8) OR ((triple4 triple3) -> rule4) OR ((((triple5) -> rule2)) -> rule8) OR ((((triple3 triple5) -> rule3)) -> rule8) OR ((triple4 ((triple5 triple4) -> rule5)) -> rule4) OR ((((triple5) -> rule2) triple3) -> rule4) OR ((((triple3 triple5) -> rule3) triple3) -> rule4) OR ((((triple5) -> rule2) ((triple5 triple4) -> rule5)) -> rule4) OR ((((triple3 triple5) -> rule3) ((triple5 triple4) -> rule5)) -> rule4) OR ((triple4 ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule4) OR ((triple4 ((((triple4) -> rule1) triple4) -> rule5)) -> rule4) OR ((triple4 ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule4) OR ((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule4) OR ((((triple5) -> rule2) ((((triple4) -> rule1) triple4) -> rule5)) -> rule4) OR ((((triple3 triple5) -> rule3) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule4) OR ((((triple3 triple5) -> rule3) ((((triple4) -> rule1) triple4) -> rule5)) -> rule4) OR ((((triple5) -> rule2) ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule4) OR ((((triple3 triple5) -> rule3) ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule4))] Anne is green.[(triple3 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule2)) -> rule5) OR ((((triple4) -> rule1) triple4) -> rule5) OR ((((triple2 triple1) -> rule7) triple4) -> rule5) OR ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule7) ((triple5) -> rule2)) -> rule5) OR ((triple5 ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple4) -> rule8) triple1) -> rule7) triple4) -> rule5) OR ((((triple4) -> rule1) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple4) -> rule8) triple1) -> rule7) ((triple5) -> rule2)) -> rule5) OR ((((((triple4) -> rule8) triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5))] Anne is kind.[(triple4 OR ((triple5) -> rule2) OR ((triple3 triple5) -> rule3) OR ((((triple2 triple1) -> rule7)) -> rule2) OR ((triple3 ((triple2 triple1) -> rule7)) -> rule3))] Anne is red.[(triple5 OR ((triple4) -> rule1) OR ((triple2 triple1) -> rule7) OR ((((triple4) -> rule8) triple1) -> rule7) OR ((((triple4 triple3) -> rule4) triple1) -> rule7))] Anne is round.[(triple6 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple5 triple4) -> rule5)) -> rule6) OR ((((triple5) -> rule2) triple3) -> rule6) OR ((((triple3 triple5) -> rule3) triple3) -> rule6) OR ((((triple5) -> rule2) ((triple5 triple4) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((triple5 triple4) -> rule5)) -> rule6) OR ((triple4 ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((triple4 ((((triple4) -> rule1) triple4) -> rule5)) -> rule6) OR ((triple4 ((((triple2 triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) triple3) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) triple3) -> rule6) OR ((triple4 ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((triple4 ((((triple2 triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((triple4) -> rule1) triple4) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((triple2 triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((triple5 triple4) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((triple4) -> rule1) triple4) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((triple2 triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((triple5 triple4) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((triple2 triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((triple4) -> rule1) triple4) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((triple2 triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((triple2 triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((triple4) -> rule1) triple4) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((triple2 triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((triple2 triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((triple2 triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((triple4 ((triple5 ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple4 ((((((triple4) -> rule8) triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((triple4 ((((triple4) -> rule1) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple4 ((((triple2 triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple4 ((((((triple4) -> rule8) triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((triple5 ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((((triple4) -> rule8) triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((triple5 ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((((triple4) -> rule8) triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((triple4 ((((((triple4) -> rule8) triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((triple4) -> rule1) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((triple2 triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((((triple4) -> rule8) triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((triple5 ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((((triple4) -> rule8) triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((triple4) -> rule1) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((triple2 triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((((triple4) -> rule8) triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((triple5 ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((((triple4) -> rule8) triple1) -> rule7) triple4) -> rule5)) -> rule6) OR ((((triple5) -> rule2) ((((((triple4) -> rule8) triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((triple4) -> rule1) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((triple2 triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((((triple4) -> rule8) triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule3) ((((((triple4) -> rule8) triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((triple4) -> rule1) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((triple2 triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((((triple4) -> rule8) triple1) -> rule7) ((triple5) -> rule2)) -> rule5)) -> rule6) OR ((((((triple2 triple1) -> rule7)) -> rule2) ((((((triple4) -> rule8) triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple3 ((triple2 triple1) -> rule7)) -> rule3) ((((((triple4) -> rule8) triple1) -> rule7) ((((triple2 triple1) -> rule7)) -> rule2)) -> rule5)) -> rule6))] Charlie is green.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple10) -> rule9))] Harry is furry.[(triple12 OR ((triple14) -> rule8) OR ((triple14 triple13) -> rule4) OR ((((triple15) -> rule2)) -> rule8) OR ((((triple13 triple15) -> rule3)) -> rule8) OR ((triple14 ((triple15 triple14) -> rule5)) -> rule4) OR ((((triple15) -> rule2) triple13) -> rule4) OR ((((triple13 triple15) -> rule3) triple13) -> rule4) OR ((((triple15) -> rule2) ((triple15 triple14) -> rule5)) -> rule4) OR ((((triple13 triple15) -> rule3) ((triple15 triple14) -> rule5)) -> rule4) OR ((triple14 ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule4) OR ((triple14 ((((triple14) -> rule1) triple14) -> rule5)) -> rule4) OR ((triple14 ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule4) OR ((((triple15) -> rule2) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule4) OR ((((triple15) -> rule2) ((((triple14) -> rule1) triple14) -> rule5)) -> rule4) OR ((((triple13 triple15) -> rule3) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule4) OR ((((triple13 triple15) -> rule3) ((((triple14) -> rule1) triple14) -> rule5)) -> rule4) OR ((((triple15) -> rule2) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule4) OR ((((triple13 triple15) -> rule3) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule4))] Harry is green.[(triple13 OR ((triple15 triple14) -> rule5) OR ((triple15 ((triple15) -> rule2)) -> rule5) OR ((((triple14) -> rule1) triple14) -> rule5) OR ((((triple12 triple11) -> rule7) triple14) -> rule5) OR ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5) OR ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5) OR ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5) OR ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5) OR ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5) OR ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5) OR ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5) OR ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5) OR ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5) OR ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5) OR ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5) OR ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5) OR ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5) OR ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5) OR ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5) OR ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5) OR ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5) OR ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5) OR ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5) OR ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5))] Harry is kind.[(triple14 OR ((triple15) -> rule2) OR ((triple13 triple15) -> rule3) OR ((((triple12 triple11) -> rule7)) -> rule2) OR ((triple13 ((triple12 triple11) -> rule7)) -> rule3) OR ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) OR ((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3))] Harry is red.[(triple15 OR ((triple14) -> rule1) OR ((triple12 triple11) -> rule7) OR ((triple12 ((triple10) -> rule9)) -> rule7) OR ((((triple14) -> rule8) triple11) -> rule7) OR ((((triple14 triple13) -> rule4) triple11) -> rule7) OR ((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) OR ((((triple14 triple13) -> rule4) ((triple10) -> rule9)) -> rule7))] Harry is round.[(triple16 OR ((triple14 triple13) -> rule6) OR ((triple14 ((triple15 triple14) -> rule5)) -> rule6) OR ((((triple15) -> rule2) triple13) -> rule6) OR ((((triple13 triple15) -> rule3) triple13) -> rule6) OR ((((triple15) -> rule2) ((triple15 triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((triple15 triple14) -> rule5)) -> rule6) OR ((triple14 ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple14) -> rule1) triple14) -> rule5)) -> rule6) OR ((triple14 ((((triple12 triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) triple13) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) triple13) -> rule6) OR ((triple14 ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple14) -> rule1) triple14) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((triple15 triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple14) -> rule1) triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((triple15 triple14) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple14) -> rule1) triple14) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple14) -> rule1) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) triple13) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) triple13) -> rule6) OR ((triple14 ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((triple15 triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((triple15 triple14) -> rule5)) -> rule6) OR ((triple14 ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple14) -> rule1) triple14) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((triple15 ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple14) -> rule1) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((triple15 ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple14) -> rule1) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) triple14) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 triple11) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((triple15 ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple15) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 triple15) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple14) -> rule1) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 triple11) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 triple11) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((triple12 ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) triple11) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6) OR ((((triple13 ((triple12 ((triple10) -> rule9)) -> rule7)) -> rule3) ((((((triple14) -> rule8) ((triple10) -> rule9)) -> rule7) ((((triple12 ((triple10) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6))] @1: Erin is cold.[(((triple8) -> rule9))] @2: Erin is red.[(((triple9 ((triple8) -> rule9)) -> rule7))] @3: Erin is kind.[(((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2))] @4: Erin is green.[(((((triple9 ((triple8) -> rule9)) -> rule7) ((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule5))] @5: Erin is round.[(((((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2) ((((triple9 ((triple8) -> rule9)) -> rule7) ((((triple9 ((triple8) -> rule9)) -> rule7)) -> rule2)) -> rule5)) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple4) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple4 ((triple5 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple5) -> (rule2 % int2)) triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple5) -> (rule2 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple3 triple5) -> (rule3 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple4 ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple4 ((((triple4) -> (rule1 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple5) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule3 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple3 triple5) -> (rule3 % int4)) ((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule3 % int4)) ((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple5 triple4) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple5 ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2 triple1) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple2 triple1) -> (rule7 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple5 ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple4) -> (rule8 % int3)) triple1) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple4) -> (rule1 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple2 triple1) -> (rule7 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple5) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple3 triple5) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((triple3 ((triple2 triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple2 triple1) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple4) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple1) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple4 triple3) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple4 ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple5) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple5) -> (rule2 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple3 triple5) -> (rule3 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple4 ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple4 ((((triple2 triple1) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple3 ((triple2 triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple4 ((((triple4) -> (rule1 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((triple4 ((((triple2 triple1) -> (rule7 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple5) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5) -> (rule2 % int4)) ((((triple2 triple1) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 triple5) -> (rule3 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple3 triple5) -> (rule3 % int4)) ((((triple4) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule3 % int4)) ((((triple2 triple1) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5) -> (rule2 % int4)) ((((triple2 triple1) -> (rule7 % int3)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule1 % int4)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple2 triple1) -> (rule7 % int4)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 triple5) -> (rule3 % int4)) ((((triple4) -> (rule1 % int3)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule3 % int4)) ((((triple2 triple1) -> (rule7 % int3)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((triple5 ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule1 % int4)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple2 triple1) -> (rule7 % int4)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule1 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple2 triple1) -> (rule7 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule1 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple2 triple1) -> (rule7 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((triple4 ((triple5 ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((triple4 ((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple4 ((((triple4) -> (rule1 % int4)) ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((triple4 ((((triple2 triple1) -> (rule7 % int4)) ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((triple4 ((((((triple4) -> (rule8 % int5)) triple1) -> (rule7 % int4)) ((triple5) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple5) -> (rule2 % int4)) ((triple5 ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5) -> (rule2 % int5)) ((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple3 triple5) -> (rule3 % int4)) ((triple5 ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple4 ((((((triple4) -> (rule8 % int5)) triple1) -> (rule7 % int4)) ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple5) -> (rule2 % int4)) ((((triple4) -> (rule1 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5) -> (rule2 % int4)) ((((triple2 triple1) -> (rule7 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple5) -> (rule2 % int5)) ((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) ((triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((triple5 ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple4) -> (rule8 % int3)) triple1) -> (rule7 % int5)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((triple3 triple5) -> (rule3 % int4)) ((((triple4) -> (rule1 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule3 % int4)) ((((triple2 triple1) -> (rule7 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) ((triple5) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((triple5 ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule8 % int3)) triple1) -> (rule7 % int5)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((triple5) -> (rule2 % int5)) ((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule1 % int4)) ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple2 triple1) -> (rule7 % int4)) ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2 triple1) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple4) -> (rule8 % int3)) triple1) -> (rule7 % int5)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((triple3 triple5) -> (rule3 % int5)) ((((((triple4) -> (rule8 % int4)) triple1) -> (rule7 % int3)) ((((triple2 triple1) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule1 % int4)) ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple2 triple1) -> (rule7 % int4)) ((((triple2 triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 ((triple2 triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule8 % int3)) triple1) -> (rule7 % int5)) ((triple5) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((triple2 triple1) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple4) -> (rule8 % int3)) triple1) -> (rule7 % int5)) ((((triple2 triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((triple3 ((triple2 triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple4) -> (rule8 % int3)) triple1) -> (rule7 % int5)) ((((triple2 triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple10) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((triple14) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple14 triple13) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13 triple15) -> (rule3 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple14 ((triple15 triple14) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple15) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13 triple15) -> (rule3 % int2)) triple13) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple15) -> (rule2 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple13 triple15) -> (rule3 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple14 ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple14 ((((triple14) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple14 ((((triple14) -> (rule1 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple15) -> (rule2 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple15) -> (rule2 % int4)) ((((triple14) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 triple15) -> (rule3 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple13 triple15) -> (rule3 % int4)) ((((triple14) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int4)) ((((triple14) -> (rule1 % int3)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 triple15) -> (rule3 % int4)) ((((triple14) -> (rule1 % int3)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple15 triple14) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple15 ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple14) -> (rule1 % int2)) triple14) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 triple11) -> (rule7 % int2)) triple14) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple14) -> (rule1 % int3)) ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple12 triple11) -> (rule7 % int3)) ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple15 ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int2)) triple14) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int2)) triple14) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple14) -> (rule1 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple12 triple11) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int2)) triple14) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((triple15 ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple14) -> (rule1 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple12 triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple14) -> (rule8 % int5)) triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
triple14
((triple15) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple13 triple15) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple12 triple11) -> (rule7 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple13 ((triple12 triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((triple13 ((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple15
((triple14) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple12 triple11) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple12 ((triple10) -> (rule9 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple14) -> (rule8 % int2)) triple11) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple14 triple13) -> (rule4 % int2)) triple11) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple14 triple13) -> (rule4 % int3)) ((triple10) -> (rule9 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple16
((triple14 triple13) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple14 ((triple15 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple15) -> (rule2 % int2)) triple13) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13 triple15) -> (rule3 % int2)) triple13) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple15) -> (rule2 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple13 triple15) -> (rule3 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple14 ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple14 ((((triple14) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple14 ((((triple12 triple11) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple13 ((triple12 triple11) -> (rule7 % int3))) -> (rule3 % int2)) triple13) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple14 ((((triple14) -> (rule1 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple14 ((((triple12 triple11) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple15) -> (rule2 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple15) -> (rule2 % int4)) ((((triple14) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int4)) ((((triple12 triple11) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 triple15) -> (rule3 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple13 triple15) -> (rule3 % int4)) ((((triple14) -> (rule1 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 triple15) -> (rule3 % int4)) ((((triple12 triple11) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple15) -> (rule2 % int4)) ((((triple14) -> (rule1 % int3)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int4)) ((((triple12 triple11) -> (rule7 % int3)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14) -> (rule1 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 triple11) -> (rule7 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 triple15) -> (rule3 % int4)) ((((triple14) -> (rule1 % int3)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 triple15) -> (rule3 % int4)) ((((triple12 triple11) -> (rule7 % int3)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule1 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule7 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14) -> (rule1 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule1 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple14 ((triple15 ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple14 ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple14 ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple13 ((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple13) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple14 ((((triple14) -> (rule1 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple14 ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((triple14 ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple14 ((((((triple14) -> (rule8 % int5)) triple11) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((triple14 ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple15) -> (rule2 % int4)) ((triple15 ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple15) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 triple15) -> (rule3 % int4)) ((triple15 ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 triple15) -> (rule3 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15 triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple14 ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple14 ((((((triple14) -> (rule8 % int5)) triple11) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((triple14 ((((((triple14) -> (rule8 % int6)) ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((triple15) -> (rule2 % int4)) ((((triple14) -> (rule1 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int4)) ((((triple12 triple11) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15) -> (rule2 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple15) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple15) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) ((triple15) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple15) -> (rule2 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((triple15 ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14) -> (rule1 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 triple11) -> (rule7 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 triple15) -> (rule3 % int4)) ((((triple14) -> (rule1 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 triple15) -> (rule3 % int4)) ((((triple12 triple11) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple13 triple15) -> (rule3 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple15) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) ((triple15) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15 ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15 ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule1 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule7 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple14 ((((((triple14) -> (rule8 % int6)) ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((triple15) -> (rule2 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple15) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple15) -> (rule2 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple15) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14) -> (rule1 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple15 ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14) -> (rule1 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 triple15) -> (rule3 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((triple15) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule1 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int6))) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15 ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule1 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple15) -> (rule2 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) ((triple15) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14) -> (rule1 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 triple15) -> (rule3 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 triple11) -> (rule7 % int3))) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int6))) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) ((triple15) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule1 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((triple15) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) triple14) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) ((((triple12 triple11) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 ((triple12 triple11) -> (rule7 % int6))) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) ((((triple12 triple11) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 triple11) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) ((triple15) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) ((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((triple14 ((triple15 ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple14 ((((triple14) -> (rule1 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple14 ((((triple12 triple11) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple15) -> (rule2 % int5)) ((triple15 ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int5)) ((triple15 ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple14 ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple14 ((((((triple14) -> (rule8 % int6)) triple11) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((triple15) -> (rule2 % int5)) ((((triple14) -> (rule1 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple15) -> (rule2 % int5)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((triple15 ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 triple15) -> (rule3 % int5)) ((((triple14) -> (rule1 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int5)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((triple15 ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple14 ((((((triple14) -> (rule8 % int6)) ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((triple15) -> (rule2 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple15) -> (rule2 % int6)) ((((((triple14) -> (rule8 % int5)) triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple14) -> (rule1 % int5)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple12 triple11) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple15 ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 triple15) -> (rule3 % int5)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple13 triple15) -> (rule3 % int6)) ((((((triple14) -> (rule8 % int5)) triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int4))) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple14) -> (rule1 % int5)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple12 triple11) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15 ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple15) -> (rule2 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((((triple12 triple11) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple12 triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int6)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14) -> (rule1 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 triple15) -> (rule3 % int6)) ((((((triple14) -> (rule8 % int5)) ((triple10) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple12 ((triple10) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
int6
((((triple13 ((triple12 triple11) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple13 ((triple12 triple11) -> (rule7 % int6))) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) triple11) -> (rule7 % int6)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule1 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 triple11) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 triple11) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 ((triple12 triple11) -> (rule7 % int6))) -> (rule3 % int5)) ((((((triple14) -> (rule8 % int4)) ((triple10) -> (rule9 % int3))) -> (rule7 % int6)) ((((triple12 ((triple10) -> (rule9 % int3))) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple12 ((triple10) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) triple11) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
((((triple13 ((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple14) -> (rule8 % int3)) ((triple10) -> (rule9 % int6))) -> (rule7 % int5)) ((((triple12 ((triple10) -> (rule9 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
int6
Erin is cold.
("Erin" "is" "cold" "+")
((triple8) -> (rule9 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple9 ((triple8) -> (rule9 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple9 ((triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((triple9 ((triple8) -> (rule9 % int4))) -> (rule7 % int3)) ((((triple9 ((triple8) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple9 ((triple8) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5