Anne is cold. Anne is green. Anne is nice. Anne is rough. Anne is round. Anne is young. Bob is young. Dave is green. Dave is nice. Gary is cold. Gary is furry. Gary is rough. Gary is round. Gary is young. If someone is rough then they are cold. Furry, round people are young. Nice people are round. Furry people are rough. If someone is young then they are nice. Furry people are green. If someone is round and nice then they are furry. Furry, cold people are green. Green people are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Furry, round people are young.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is round and nice then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Furry, cold people are green.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Anne is nice.
True
1
proof
[(triple3 OR ((triple6) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule2)) -> rule5))]
("Anne" "is" "nice" "+")
triple3
((triple6) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((((triple2) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is not young.
False
1
inv-proof
[(triple6 OR ((((triple2) -> rule9) triple5) -> rule2) OR ((((triple5 triple3) -> rule7) triple5) -> rule2) OR ((((triple2) -> rule9) ((triple3) -> rule3)) -> rule2) OR ((((triple5 triple3) -> rule7) ((triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule7) triple5) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule7) ((triple3) -> rule3)) -> rule2))]
("Anne" "is" "young" "-")
triple6
((((triple2) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple5 triple3) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2) -> (rule9 % int3)) ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple5 triple3) -> (rule7 % int3)) ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) ((triple3) -> (rule3 % int3))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Gary is green.
True
2
proof
[(((triple11) -> rule6) OR ((triple11 triple10) -> rule8) OR ((triple11 ((triple12) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule6) OR ((triple11 ((((triple11) -> rule4)) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) triple10) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((triple12) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((((triple11) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) triple10) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((triple12) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((((triple11) -> rule4)) -> rule1)) -> rule8) OR ((triple11 ((((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((triple11 ((((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8))]
("Gary" "is" "green" "+")
((triple11) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple11 triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple11 ((triple12) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple13 ((triple14) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple11 ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple13 ((triple14) -> (rule5 % int3))) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple13 ((triple14) -> (rule5 % int4))) -> (rule7 % int3)) ((triple12) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple14) -> (rule5 % int4))) -> (rule3 % int3)) ((triple14) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple14) -> (rule5 % int4))) -> (rule3 % int3)) ((triple14) -> (rule5 % int4))) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple14) -> (rule5 % int5))) -> (rule3 % int4)) ((triple14) -> (rule5 % int5))) -> (rule7 % int3)) ((triple12) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple11 ((((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4)) ((((((triple13 ((triple14) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple11 ((((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple13 ((triple14) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple14) -> (rule5 % int6))) -> (rule3 % int4)) ((triple14) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Dave is not furry.
False
2
inv-proof
[(((triple8) -> rule9) OR ((((triple9) -> rule3) triple9) -> rule7))]
("Dave" "is" "furry" "-")
((triple8) -> (rule9 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple9) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
True
5
proof
[(((((triple8) -> rule9) ((triple9) -> rule3)) -> rule2) OR ((((((triple9) -> rule3) triple9) -> rule7) ((triple9) -> rule3)) -> rule2))]
("Dave" "is" "young" "+")
((((triple8) -> (rule9 % int3)) ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) ((triple9) -> (rule3 % int3))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not rough.
False
3
inv-proof
[(((((triple8) -> rule9)) -> rule4) OR ((((((triple9) -> rule3) triple9) -> rule7)) -> rule4))]
("Dave" "is" "rough" "-")
((((triple8) -> (rule9 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob is furry.
True
6
proof
[(((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7))]
("Bob" "is" "furry" "+")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) ((triple7) -> (rule5 % int3))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not furry.
False
6
inv-proof
[(((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7))]
("Bob" "is" "furry" "-")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) ((triple7) -> (rule5 % int3))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
True
7
proof
[(((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule4))]
("Bob" "is" "rough" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) ((triple7) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not green.
False
7
inv-proof
[(((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7) ((((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8))]
("Bob" "is" "green" "-")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) ((triple7) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple7) -> (rule5 % int6))) -> (rule3 % int5)) ((triple7) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((((triple7) -> (rule5 % int6))) -> (rule3 % int5)) ((triple7) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
Bob is cold.
True
8
proof
[(((((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule1))]
("Bob" "is" "cold" "+")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) ((triple7) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is not cold.
False
8
inv-proof
[(((((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule1))]
("Bob" "is" "cold" "-")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) ((triple7) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
@0: Anne is cold.[(triple1 OR ((triple4) -> rule1) OR ((((((triple2) -> rule9)) -> rule4)) -> rule1) OR ((((((triple5 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1))] Anne is green.[(triple2 OR ((((triple5 triple3) -> rule7)) -> rule6) OR ((((triple5 triple3) -> rule7) triple1) -> rule8) OR ((((triple5 triple3) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule6) OR ((((((triple3) -> rule3) triple3) -> rule7)) -> rule6) OR ((((triple5 ((triple6) -> rule5)) -> rule7) triple1) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) triple1) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple5 ((triple6) -> rule5)) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) triple1) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule6) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) triple1) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple5 triple3) -> rule7) ((((((triple5 triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) triple1) -> rule8) OR ((((triple5 ((triple6) -> rule5)) -> rule7) ((((((triple5 triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((((triple5 triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) ((triple4) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((triple5 triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) ((((((triple5 triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((triple5 triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule7) ((((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule7) ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule7) ((((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 ((triple6) -> rule5)) -> rule7) ((((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 ((triple6) -> rule5)) -> rule7) ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 ((triple6) -> rule5)) -> rule7) ((((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) ((((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) ((((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 ((triple6) -> rule5)) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple5 ((triple6) -> rule5)) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) triple3) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7) ((((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8))] Anne is nice.[(triple3 OR ((triple6) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule2)) -> rule5))] Anne is rough.[(triple4 OR ((((triple2) -> rule9)) -> rule4) OR ((((triple5 triple3) -> rule7)) -> rule4) OR ((((triple5 ((triple6) -> rule5)) -> rule7)) -> rule4) OR ((((((triple3) -> rule3) triple3) -> rule7)) -> rule4) OR ((((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule5)) -> rule3) triple3) -> rule7)) -> rule4) OR ((((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7)) -> rule4))] Anne is round.[(triple5 OR ((triple3) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Anne is young.[(triple6 OR ((((triple2) -> rule9) triple5) -> rule2) OR ((((triple5 triple3) -> rule7) triple5) -> rule2) OR ((((triple2) -> rule9) ((triple3) -> rule3)) -> rule2) OR ((((triple5 triple3) -> rule7) ((triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule7) triple5) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule7) ((triple3) -> rule3)) -> rule2))] Bob is young.[(triple7)] Dave is green.[(triple8 OR ((((((triple9) -> rule3) triple9) -> rule7)) -> rule6) OR ((((((triple9) -> rule3) triple9) -> rule7) ((((((((triple9) -> rule3) triple9) -> rule7)) -> rule4)) -> rule1)) -> rule8))] Dave is nice.[(triple9)] Gary is cold.[(triple10 OR ((triple12) -> rule1) OR ((((triple11) -> rule4)) -> rule1) OR ((((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1) OR ((((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1))] Gary is furry.[(triple11 OR ((triple13 ((triple14) -> rule5)) -> rule7) OR ((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7))] Gary is rough.[(triple12 OR ((triple11) -> rule4) OR ((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4))] Gary is round.[(triple13 OR ((((triple14) -> rule5)) -> rule3))] Gary is young.[(triple14 OR ((triple11 triple13) -> rule2))] @1: Anne is furry.[(((triple2) -> rule9) OR ((triple5 triple3) -> rule7) OR ((triple5 ((triple6) -> rule5)) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule7) OR ((((triple3) -> rule3) ((triple6) -> rule5)) -> rule7) OR ((((((triple6) -> rule5)) -> rule3) triple3) -> rule7) OR ((((((triple6) -> rule5)) -> rule3) ((triple6) -> rule5)) -> rule7))] Bob is nice.[(((triple7) -> rule5))] Dave is furry.[(((triple8) -> rule9) OR ((((triple9) -> rule3) triple9) -> rule7))] Dave is round.[(((triple9) -> rule3))] Gary is green.[(((triple11) -> rule6) OR ((triple11 triple10) -> rule8) OR ((triple11 ((triple12) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule6) OR ((triple11 ((((triple11) -> rule4)) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) triple10) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((triple12) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((((triple11) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) triple10) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((triple12) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((((triple11) -> rule4)) -> rule1)) -> rule8) OR ((triple11 ((((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((((((triple13 ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((triple11 ((((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((triple13 ((triple14) -> rule5)) -> rule7) ((((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7) ((((((((((triple14) -> rule5)) -> rule3) ((triple14) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8))] Gary is nice.[(((triple14) -> rule5) OR ((((triple11 triple13) -> rule2)) -> rule5))] @2: Bob is round.[(((((triple7) -> rule5)) -> rule3))] Dave is rough.[(((((triple8) -> rule9)) -> rule4) OR ((((((triple9) -> rule3) triple9) -> rule7)) -> rule4))] Dave is young.[(((((triple8) -> rule9) ((triple9) -> rule3)) -> rule2) OR ((((((triple9) -> rule3) triple9) -> rule7) ((triple9) -> rule3)) -> rule2))] @3: Bob is furry.[(((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7))] Dave is cold.[(((((((triple8) -> rule9)) -> rule4)) -> rule1) OR ((((((((triple9) -> rule3) triple9) -> rule7)) -> rule4)) -> rule1))] @4: Bob is green.[(((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7) ((((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule1)) -> rule8))] Bob is rough.[(((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule4))] @5: Bob is cold.[(((((((((((triple7) -> rule5)) -> rule3) ((triple7) -> rule5)) -> rule7)) -> rule4)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((((triple2) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple5 ((triple6) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule3 % int5)) ((triple6) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple6) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
triple2
((((triple5 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple5 triple3) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple5 triple3) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple5 ((triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple5 ((triple6) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule3 % int4)) ((triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple5 ((triple6) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple3) -> (rule3 % int4)) ((triple6) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple3) -> (rule3 % int5)) ((triple6) -> (rule5 % int4))) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple5 triple3) -> (rule7 % int4)) ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple6) -> (rule5 % int4))) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple5 ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple6) -> (rule5 % int5))) -> (rule7 % int3)) ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4)) ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((triple5 triple3) -> (rule7 % int5)) ((((((triple5 ((triple6) -> (rule5 % int4))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple5 triple3) -> (rule7 % int5)) ((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple5 triple3) -> (rule7 % int6)) ((((((((triple3) -> (rule3 % int5)) ((triple6) -> (rule5 % int4))) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple5 ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple5 ((triple6) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple5 ((triple6) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((triple3) -> (rule3 % int4)) triple3) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple3) -> (rule3 % int6)) triple3) -> (rule7 % int5)) ((((((triple5 ((triple6) -> (rule5 % int4))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple5 ((triple6) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((triple3) -> (rule3 % int4)) ((triple6) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple3) -> (rule3 % int6)) triple3) -> (rule7 % int5)) ((((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int4))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple5 ((triple6) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((((triple3) -> (rule3 % int6)) triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((triple5 ((triple6) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((((triple3) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4)) ((((((triple5 ((triple6) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((triple3) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((triple3) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((triple5 triple3) -> (rule7 % int6)) ((((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple5 triple3) -> (rule7 % int6)) ((((((((((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple6) -> (rule5 % int5))) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple5 ((triple6) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple6) -> (rule5 % int6))) -> (rule3 % int4)) triple3) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple3) -> (rule3 % int6)) triple3) -> (rule7 % int5)) ((((((((((triple6) -> (rule5 % int4))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((triple5 ((triple6) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple6) -> (rule5 % int6))) -> (rule3 % int4)) ((triple6) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple3) -> (rule3 % int6)) triple3) -> (rule7 % int5)) ((((((((((triple6) -> (rule5 % int4))) -> (rule3 % int6)) ((triple6) -> (rule5 % int4))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((((((triple6) -> (rule5 % int5))) -> (rule3 % int6)) triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4)) ((((((((((triple6) -> (rule5 % int5))) -> (rule3 % int6)) ((triple6) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4)) ((((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((((triple6) -> (rule5 % int6))) -> (rule3 % int5)) ((triple6) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple6) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((((triple2) -> (rule9 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple5 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple5 ((triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule3 % int4)) ((triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple3) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple6
((((triple2) -> (rule9 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple5 triple3) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2) -> (rule9 % int3)) ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple5 triple3) -> (rule7 % int3)) ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) ((triple3) -> (rule3 % int3))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
((((((triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple9) -> (rule3 % int5)) triple9) -> (rule7 % int4)) ((((((((triple9) -> (rule3 % int5)) triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((triple12) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((((triple13 ((triple14) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((((triple14) -> (rule5 % int5))) -> (rule3 % int4)) ((triple14) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple13 ((triple14) -> (rule5 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple14) -> (rule5 % int3))) -> (rule3 % int2)) ((triple14) -> (rule5 % int3))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple12
((triple11) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple13 ((triple14) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple14) -> (rule5 % int4))) -> (rule3 % int3)) ((triple14) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple13
((((triple14) -> (rule5 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple14
((triple11 triple13) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule9 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple5 triple3) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple5 ((triple6) -> (rule5 % int2))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple6) -> (rule5 % int2))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule3 % int2)) ((triple6) -> (rule5 % int3))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple7) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple8) -> (rule9 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple9) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple9) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple11) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple11 triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple11 ((triple12) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple13 ((triple14) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple11 ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple13 ((triple14) -> (rule5 % int3))) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple13 ((triple14) -> (rule5 % int4))) -> (rule7 % int3)) ((triple12) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple14) -> (rule5 % int4))) -> (rule3 % int3)) ((triple14) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple14) -> (rule5 % int4))) -> (rule3 % int3)) ((triple14) -> (rule5 % int4))) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple14) -> (rule5 % int5))) -> (rule3 % int4)) ((triple14) -> (rule5 % int5))) -> (rule7 % int3)) ((triple12) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4)) ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple11 ((((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple13 ((triple14) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4)) ((((((triple13 ((triple14) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple11 ((((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple13 ((triple14) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple14) -> (rule5 % int6))) -> (rule3 % int4)) ((triple14) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((((triple14) -> (rule5 % int6))) -> (rule3 % int5)) ((triple14) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is nice.
("Gary" "is" "nice" "+")
((triple14) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple11 triple13) -> (rule2 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple8) -> (rule9 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((((triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((triple8) -> (rule9 % int3)) ((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) ((triple9) -> (rule3 % int3))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) ((triple7) -> (rule5 % int3))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple8) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((((triple9) -> (rule3 % int4)) triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) ((triple7) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple7) -> (rule5 % int6))) -> (rule3 % int5)) ((triple7) -> (rule5 % int6))) -> (rule7 % int4)) ((((((((((triple7) -> (rule5 % int6))) -> (rule3 % int5)) ((triple7) -> (rule5 % int6))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
Bob is rough.
("Bob" "is" "rough" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) ((triple7) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) ((triple7) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5