Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is young. Bob is nice. Bob is quiet. Bob is red. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is young. Gary is nice. Gary is red. Furry people are nice. If someone is cold and red then they are young. If Gary is cold and Gary is furry then Gary is nice. All kind, red people are cold. Quiet, nice people are furry. Young, cold people are quiet. If Charlie is furry and Charlie is cold then Charlie is quiet. Nice people are kind. If someone is kind and young then they are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If Gary is cold and Gary is furry then Gary is nice.
((("Gary" "is" "cold" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "nice" "+"))
All kind, red people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Quiet, nice people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Young, cold people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is furry and Charlie is cold then Charlie is quiet.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "quiet" "+"))
Nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Anne is kind.
True
1
proof
[(triple3 OR ((triple4) -> rule8) OR ((((triple2) -> rule1)) -> rule8))]
("Anne" "is" "kind" "+")
triple3
((triple4) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not furry.
False
1
inv-proof
[(triple2 OR ((((triple6 triple1) -> rule6) triple4) -> rule5) OR ((((triple6 ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((triple6 ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((triple6 ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) triple1) -> rule6) triple4) -> rule5) OR ((((triple6 ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((triple6 ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) triple1) -> rule6) triple4) -> rule5) OR ((((triple6 ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5))]
("Anne" "is" "furry" "-")
triple2
((((triple6 triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple6 ((triple3 triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple1 triple5) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1 triple5) -> (rule2 % int4)) ((triple3 triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple6 ((triple3 ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple6 ((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple3 triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple6 ((((triple4) -> (rule8 % int5)) ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple1 triple5) -> (rule2 % int5)) ((triple3 ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple1 triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple3 triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int4))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1 triple5) -> (rule2 % int6)) ((((triple4) -> (rule8 % int5)) ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((triple6 ((triple3 ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple6 ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple1 triple5) -> (rule2 % int6)) ((triple3 ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int4))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple1 triple5) -> (rule2 % int6)) ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((triple3 ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((((triple4) -> (rule8 % int6)) triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int6)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule8 % int6)) triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
Bob is kind.
True
2
proof
[(((triple7) -> rule8))]
("Bob" "is" "kind" "+")
((triple7) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is not furry.
False
3
inv-proof
[(((triple12 triple11) -> rule5) OR ((((triple14 ((triple10 triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5))]
("Charlie" "is" "furry" "-")
((triple12 triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple14 ((triple10 triple13) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple14 ((triple10 ((triple10 triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple14 ((((triple11) -> (rule8 % int4)) triple13) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple14 ((((triple11) -> (rule8 % int5)) ((triple10 triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple10 triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((triple10 triple13) -> (rule4 % int4))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple10 triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((triple10 ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple10 triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int3)) triple13) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple10 triple13) -> (rule4 % int6)) triple13) -> (rule2 % int5)) ((((triple11) -> (rule8 % int4)) ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((triple14 ((triple10 ((((triple11) -> (rule8 % int5)) triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple14 ((((triple11) -> (rule8 % int5)) ((((triple11) -> (rule8 % int5)) triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((triple10 triple13) -> (rule4 % int4))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple10 triple13) -> (rule4 % int6)) triple13) -> (rule2 % int5)) ((triple10 ((((triple11) -> (rule8 % int4)) triple14) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((triple10 ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple10 triple13) -> (rule4 % int6)) triple13) -> (rule2 % int5)) ((((triple11) -> (rule8 % int4)) ((((triple11) -> (rule8 % int4)) triple14) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((triple10 ((((triple11) -> (rule8 % int6)) triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int6)) ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int6)) ((((triple11) -> (rule8 % int6)) triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Bob is cold.
True
4
proof
[(((((triple7) -> rule8) triple9) -> rule4))]
("Bob" "is" "cold" "+")
((((triple7) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Gary is not cold.
False
4
inv-proof
[(((((triple15) -> rule8) triple16) -> rule4))]
("Gary" "is" "cold" "-")
((((triple15) -> (rule8 % int2)) triple16) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Bob is young.
True
6
proof
[(((((((triple7) -> rule8) triple9) -> rule4) triple9) -> rule2))]
("Bob" "is" "young" "+")
((((((triple7) -> (rule8 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Gary is not young.
False
6
inv-proof
[(((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2))]
("Gary" "is" "young" "-")
((((((triple15) -> (rule8 % int3)) triple16) -> (rule4 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
True
11
proof
[(((((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2) ((((triple15) -> rule8) triple16) -> rule4)) -> rule6))]
("Gary" "is" "quiet" "+")
((((((((triple15) -> (rule8 % int4)) triple16) -> (rule4 % int3)) triple16) -> (rule2 % int2)) ((((triple15) -> (rule8 % int4)) triple16) -> (rule4 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is not quiet.
False
11
inv-proof
[(((((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2) ((((triple15) -> rule8) triple16) -> rule4)) -> rule6))]
("Gary" "is" "quiet" "-")
((((((((triple15) -> (rule8 % int4)) triple16) -> (rule4 % int3)) triple16) -> (rule2 % int2)) ((((triple15) -> (rule8 % int4)) triple16) -> (rule4 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is furry.
True
13
proof
[(((((((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2) ((((triple15) -> rule8) triple16) -> rule4)) -> rule6) triple15) -> rule5))]
("Gary" "is" "furry" "+")
((((((((((triple15) -> (rule8 % int5)) triple16) -> (rule4 % int4)) triple16) -> (rule2 % int3)) ((((triple15) -> (rule8 % int5)) triple16) -> (rule4 % int4))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not furry.
False
13
inv-proof
[(((((((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2) ((((triple15) -> rule8) triple16) -> rule4)) -> rule6) triple15) -> rule5))]
("Gary" "is" "furry" "-")
((((((((((triple15) -> (rule8 % int5)) triple16) -> (rule4 % int4)) triple16) -> (rule2 % int3)) ((((triple15) -> (rule8 % int5)) triple16) -> (rule4 % int4))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
@0: Anne is cold.[(triple1 OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple3 triple6) -> rule9)) -> rule4) OR ((((triple4) -> rule8) triple5) -> rule4) OR ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4) OR ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) OR ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((triple3 triple6) -> rule9)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4) OR ((triple3 ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4) OR ((((triple4) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4))] Anne is furry.[(triple2 OR ((((triple6 triple1) -> rule6) triple4) -> rule5) OR ((((triple6 ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) triple1) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((triple6 ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((triple6 ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) triple1) -> rule6) triple4) -> rule5) OR ((((triple6 ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((triple6 ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) triple1) -> rule6) triple4) -> rule5) OR ((((triple6 ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple1 triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) triple4) -> rule5))] Anne is kind.[(triple3 OR ((triple4) -> rule8) OR ((((triple2) -> rule1)) -> rule8))] Anne is nice.[(triple4 OR ((triple2) -> rule1))] Anne is red.[(triple5 OR ((triple3 triple6) -> rule9) OR ((((triple4) -> rule8) triple6) -> rule9) OR ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9))] Anne is young.[(triple6 OR ((triple1 triple5) -> rule2) OR ((((triple3 triple5) -> rule4) triple5) -> rule2) OR ((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) OR ((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2))] Bob is nice.[(triple7)] Bob is quiet.[(triple8 OR ((((((((triple7) -> rule8) triple9) -> rule4) triple9) -> rule2) ((((triple7) -> rule8) triple9) -> rule4)) -> rule6))] Bob is red.[(triple9)] Charlie is kind.[(triple10 OR ((triple11) -> rule8))] Charlie is nice.[(triple11)] Charlie is quiet.[(triple12 OR ((triple14 ((triple10 triple13) -> rule4)) -> rule6) OR ((triple14 ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) OR ((triple14 ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) OR ((triple14 ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 triple13) -> rule4)) -> rule6) OR ((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) OR ((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) OR ((triple14 ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) OR ((triple14 ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 triple13) -> rule4)) -> rule6) OR ((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) OR ((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6))] Charlie is red.[(triple13 OR ((triple10 triple14) -> rule9) OR ((((triple11) -> rule8) triple14) -> rule9))] Charlie is young.[(triple14 OR ((((triple10 triple13) -> rule4) triple13) -> rule2) OR ((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2))] Gary is nice.[(triple15)] Gary is red.[(triple16)] @1: Anne is quiet.[(((triple6 triple1) -> rule6) OR ((triple6 ((triple3 triple5) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) triple1) -> rule6) OR ((((triple1 triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) OR ((triple6 ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((triple6 ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) triple1) -> rule6) OR ((triple6 ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((triple6 ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((triple6 ((((((triple2) -> rule1)) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) triple1) -> rule6) OR ((triple6 ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((triple6 ((((((triple2) -> rule1)) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) OR ((triple6 ((((((triple2) -> rule1)) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((triple6 ((triple3 ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) triple1) -> rule6) OR ((triple6 ((((triple4) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((triple3 ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 triple5) -> rule4)) -> rule6) OR ((triple6 ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((triple4) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((triple3 ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) triple5) -> rule4)) -> rule6) OR ((((triple1 triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) triple5) -> rule4)) -> rule6) OR ((((((triple3 triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((triple3 ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((triple3 triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((triple4) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((triple4) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8) triple5) -> rule4) triple5) -> rule2) ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule8) triple6) -> rule9)) -> rule4)) -> rule6))] Bob is furry.[(((triple8 triple7) -> rule5) OR ((((((((((triple7) -> rule8) triple9) -> rule4) triple9) -> rule2) ((((triple7) -> rule8) triple9) -> rule4)) -> rule6) triple7) -> rule5))] Bob is kind.[(((triple7) -> rule8))] Charlie is cold.[(((triple10 triple13) -> rule4) OR ((triple10 ((triple10 triple14) -> rule9)) -> rule4) OR ((((triple11) -> rule8) triple13) -> rule4) OR ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4) OR ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4) OR ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4))] Charlie is furry.[(((triple12 triple11) -> rule5) OR ((((triple14 ((triple10 triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((triple14 ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) triple13) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((triple10 triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((triple10 ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((triple10 triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5) OR ((((((((((triple11) -> rule8) triple13) -> rule4) triple13) -> rule2) ((((triple11) -> rule8) ((((triple11) -> rule8) triple14) -> rule9)) -> rule4)) -> rule6) triple11) -> rule5))] Gary is kind.[(((triple15) -> rule8))] @2: Bob is cold.[(((((triple7) -> rule8) triple9) -> rule4))] Gary is cold.[(((((triple15) -> rule8) triple16) -> rule4))] @3: Bob is young.[(((((((triple7) -> rule8) triple9) -> rule4) triple9) -> rule2))] Gary is young.[(((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2))] @4: Gary is quiet.[(((((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2) ((((triple15) -> rule8) triple16) -> rule4)) -> rule6))] @5: Gary is furry.[(((((((((((triple15) -> rule8) triple16) -> rule4) triple16) -> rule2) ((((triple15) -> rule8) triple16) -> rule4)) -> rule6) triple15) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3 triple5) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple3 ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple4) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple3 ((((triple4) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple4) -> (rule8 % int3)) ((((triple4) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((triple3 ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple4) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int4)) triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((((triple6 triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple6 ((triple3 triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple1 triple5) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1 triple5) -> (rule2 % int4)) ((triple3 triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple6 ((triple3 ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple6 ((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple3 triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple6 ((((triple4) -> (rule8 % int5)) ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple1 triple5) -> (rule2 % int5)) ((triple3 ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple1 triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple3 triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int4))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple1 triple5) -> (rule2 % int6)) ((((triple4) -> (rule8 % int5)) ((triple3 triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((triple6 ((triple3 ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple6 ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple1 triple5) -> (rule2 % int6)) ((triple3 ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int4))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple1 triple5) -> (rule2 % int6)) ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((triple3 ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((((triple4) -> (rule8 % int6)) triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int6)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule8 % int6)) triple6) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple4) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple3 triple6) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple4) -> (rule8 % int2)) triple6) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule8 % int2)) triple6) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple1 triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple3 triple5) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple4) -> (rule8 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple8
((((((((triple7) -> (rule8 % int4)) triple9) -> (rule4 % int3)) triple9) -> (rule2 % int2)) ((((triple7) -> (rule8 % int4)) triple9) -> (rule4 % int3))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
((triple11) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple11
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple12
((triple14 ((triple10 triple13) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((triple14 ((triple10 ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple14 ((((triple11) -> (rule8 % int3)) triple13) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple14 ((((triple11) -> (rule8 % int4)) ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple10 triple13) -> (rule4 % int3)) triple13) -> (rule2 % int2)) ((triple10 triple13) -> (rule4 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple10 triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((triple10 ((triple10 triple14) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple10 triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((((triple11) -> (rule8 % int2)) triple13) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple10 triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int3)) ((triple10 triple14) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((triple14 ((triple10 ((((triple11) -> (rule8 % int4)) triple14) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple14 ((((triple11) -> (rule8 % int4)) ((((triple11) -> (rule8 % int4)) triple14) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple11) -> (rule8 % int4)) triple13) -> (rule4 % int3)) triple13) -> (rule2 % int2)) ((triple10 triple13) -> (rule4 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple10 triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((triple10 ((((triple11) -> (rule8 % int3)) triple14) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((triple10 ((triple10 triple14) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple11) -> (rule8 % int4)) triple13) -> (rule4 % int3)) triple13) -> (rule2 % int2)) ((((triple11) -> (rule8 % int4)) triple13) -> (rule4 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple10 triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int3)) ((((triple11) -> (rule8 % int3)) triple14) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((triple10 ((((triple11) -> (rule8 % int5)) triple14) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((((triple11) -> (rule8 % int5)) ((triple10 triple14) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((((triple11) -> (rule8 % int5)) ((((triple11) -> (rule8 % int5)) triple14) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
triple13
((triple10 triple14) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple11) -> (rule8 % int2)) triple14) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple14
((((triple10 triple13) -> (rule4 % int2)) triple13) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple11) -> (rule8 % int3)) triple13) -> (rule4 % int2)) triple13) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
triple16
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple6 triple1) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple6 ((triple3 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple1 triple5) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple1 triple5) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple6 ((triple3 ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple6 ((((triple4) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple3 triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple6 ((((triple4) -> (rule8 % int4)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple1 triple5) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple1 triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple3 triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int3))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple1 triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple3 triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int2)) triple5) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int3)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((triple6 ((triple3 ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple6 ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple6 ((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple6 ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple1 triple5) -> (rule2 % int5)) ((triple3 ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple1 triple5) -> (rule2 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int3))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((triple6 ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple1 triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple1 triple5) -> (rule2 % int6)) ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((triple3 triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((((triple4) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) ((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple1 triple5) -> (rule2 % int6)) ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int3)) ((((triple4) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int6))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int5)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int2))) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple4) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int6))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((triple4) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int6)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int6)) ((((triple4) -> (rule8 % int6)) triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((triple6 ((triple3 ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple6 ((((triple4) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int5)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((triple1 triple5) -> (rule2 % int6)) ((triple3 ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int3))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple6 ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple1 triple5) -> (rule2 % int6)) ((((triple4) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int5)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((triple3 ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int6))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) ((((triple4) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple1 triple5) -> (rule2 % int6)) ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((triple4) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int4)) triple6) -> (rule9 % int2))) -> (rule4 % int6))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((triple3 ((((((triple2) -> (rule1 % int3))) -> (rule8 % int6)) triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int5)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule2 % int2)) ((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple3 triple5) -> (rule4 % int6)) triple5) -> (rule2 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule8 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int6))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((triple4) -> (rule8 % int6)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int6)) triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((triple3 ((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) ((triple3 triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple4) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule2 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int6)) ((((((triple2) -> (rule1 % int3))) -> (rule8 % int6)) triple6) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((triple4) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule2 % int3)) ((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) triple6) -> (rule9 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
Bob is furry.
("Bob" "is" "furry" "+")
((triple8 triple7) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((((((((triple7) -> (rule8 % int5)) triple9) -> (rule4 % int4)) triple9) -> (rule2 % int3)) ((((triple7) -> (rule8 % int5)) triple9) -> (rule4 % int4))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
((triple7) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple10 triple13) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple10 ((triple10 triple14) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple11) -> (rule8 % int2)) triple13) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple11) -> (rule8 % int3)) ((triple10 triple14) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple10 ((((triple11) -> (rule8 % int3)) triple14) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple11) -> (rule8 % int3)) ((((triple11) -> (rule8 % int3)) triple14) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple12 triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple14 ((triple10 triple13) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple14 ((triple10 ((triple10 triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple14 ((((triple11) -> (rule8 % int4)) triple13) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple14 ((((triple11) -> (rule8 % int5)) ((triple10 triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple10 triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((triple10 triple13) -> (rule4 % int4))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple10 triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((triple10 ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple10 triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int3)) triple13) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple10 triple13) -> (rule4 % int6)) triple13) -> (rule2 % int5)) ((((triple11) -> (rule8 % int4)) ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((triple14 ((triple10 ((((triple11) -> (rule8 % int5)) triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple14 ((((triple11) -> (rule8 % int5)) ((((triple11) -> (rule8 % int5)) triple14) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((triple10 triple13) -> (rule4 % int4))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple10 triple13) -> (rule4 % int6)) triple13) -> (rule2 % int5)) ((triple10 ((((triple11) -> (rule8 % int4)) triple14) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((triple10 ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4)) triple13) -> (rule2 % int3)) ((((triple11) -> (rule8 % int5)) triple13) -> (rule4 % int4))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple10 triple13) -> (rule4 % int6)) triple13) -> (rule2 % int5)) ((((triple11) -> (rule8 % int4)) ((((triple11) -> (rule8 % int4)) triple14) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((triple10 ((((triple11) -> (rule8 % int6)) triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int6)) ((triple10 triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((((triple11) -> (rule8 % int6)) triple13) -> (rule4 % int5)) triple13) -> (rule2 % int4)) ((((triple11) -> (rule8 % int6)) ((((triple11) -> (rule8 % int6)) triple14) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Gary is kind.
("Gary" "is" "kind" "+")
((triple15) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple7) -> (rule8 % int2)) triple9) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple15) -> (rule8 % int2)) triple16) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((((triple7) -> (rule8 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((triple15) -> (rule8 % int3)) triple16) -> (rule4 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((((triple15) -> (rule8 % int4)) triple16) -> (rule4 % int3)) triple16) -> (rule2 % int2)) ((((triple15) -> (rule8 % int4)) triple16) -> (rule4 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
((((((((((triple15) -> (rule8 % int5)) triple16) -> (rule4 % int4)) triple16) -> (rule2 % int3)) ((((triple15) -> (rule8 % int5)) triple16) -> (rule4 % int4))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5