Anne is big. Anne is rough. Dave is big. Dave is blue. Dave is rough. Dave is round. Dave is young. Fiona is cold. Fiona is furry. Fiona is young. Gary is young. If someone is blue and big then they are furry. If someone is blue and young then they are big. Round people are cold. Round, rough people are cold. All rough, cold people are blue. Cold people are rough. If Dave is young then Dave is big. If someone is young then they are round. If someone is big then they are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is blue and big then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue and young then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Round, rough people are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All rough, cold people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If Dave is young then Dave is big.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "big" "+"))
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Fiona is furry.
True
1
proof
[(triple9 OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "+")
triple9
((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int5)) ((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int5)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int5)) ((((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int6)) triple8) -> (rule5 % int5)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int5)) ((((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int6)) ((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int5)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int6)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
Dave is not big.
False
1
inv-proof
[(triple3 OR ((triple7) -> rule7) OR ((triple4 triple7) -> rule2) OR ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2))]
("Dave" "is" "big" "-")
triple3
((triple7) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple4 triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple5 ((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple5 ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Gary is round.
True
2
proof
[(((triple11) -> rule8))]
("Gary" "is" "round" "+")
((triple11) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule9))]
("Anne" "is" "blue" "-")
((triple1) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Gary is cold.
True
3
proof
[(((((triple11) -> rule8)) -> rule3))]
("Gary" "is" "cold" "+")
((((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fiona is not blue.
False
4
inv-proof
[(((((triple8) -> rule6) triple8) -> rule5) OR ((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) OR ((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5))]
("Fiona" "is" "blue" "-")
((((triple8) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple8) -> (rule6 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is rough.
True
4
proof
[(((((((triple11) -> rule8)) -> rule3)) -> rule6))]
("Gary" "is" "rough" "+")
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not rough.
False
4
inv-proof
[(((((((triple11) -> rule8)) -> rule3)) -> rule6))]
("Gary" "is" "rough" "-")
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
True
8
proof
[(((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5))]
("Gary" "is" "blue" "+")
((((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not blue.
False
8
inv-proof
[(((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5))]
("Gary" "is" "blue" "-")
((((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
True
10
proof
[(((((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5) triple11) -> rule2))]
("Gary" "is" "big" "+")
((((((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is not big.
False
10
inv-proof
[(((((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5) triple11) -> rule2))]
("Gary" "is" "big" "-")
((((((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Anne is not cold.
Unknown
inv-rconc
[@2: Anne is cold.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Dave is big.[(triple3 OR ((triple7) -> rule7) OR ((triple4 triple7) -> rule2) OR ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2))] Dave is blue.[(triple4 OR ((triple3) -> rule9) OR ((((triple7) -> rule7)) -> rule9) OR ((triple5 ((triple6) -> rule3)) -> rule5) OR ((triple5 ((triple6 triple5) -> rule4)) -> rule5) OR ((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) OR ((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) OR ((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) OR ((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) OR ((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) OR ((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) OR ((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5))] Dave is rough.[(triple5 OR ((((triple6) -> rule3)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3)) -> rule6))] Dave is round.[(triple6 OR ((triple7) -> rule8))] Dave is young.[(triple7)] Fiona is cold.[(triple8 OR ((((triple10) -> rule8)) -> rule3))] Fiona is furry.[(triple9 OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2)) -> rule1))] Fiona is young.[(triple10)] Gary is young.[(triple11)] @1: Anne is blue.[(((triple1) -> rule9))] Dave is cold.[(((triple6) -> rule3) OR ((triple6 triple5) -> rule4) OR ((((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule8) triple5) -> rule4))] Dave is furry.[(((triple4 triple3) -> rule1) OR ((triple4 ((triple7) -> rule7)) -> rule1) OR ((triple4 ((triple4 triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) triple3) -> rule1) OR ((((triple3) -> rule9) ((triple7) -> rule7)) -> rule1) OR ((((triple3) -> rule9) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) triple3) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) triple3) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple3) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((triple7) -> rule7)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((triple4 triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((triple4 ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple3) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple3) -> rule1) OR ((((triple3) -> rule9) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple3) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple3) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple3) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple3) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple3) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple3) -> rule1) OR ((triple4 ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple3) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple3) -> rule1) OR ((((triple3) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((triple4 triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple3) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule7)) -> rule9) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((triple5 ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((triple6 triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule3)) -> rule5) triple7) -> rule2)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) ((((((((((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8) triple5) -> rule4)) -> rule5) triple7) -> rule2)) -> rule1))] Fiona is rough.[(((triple8) -> rule6) OR ((((((triple10) -> rule8)) -> rule3)) -> rule6))] Fiona is round.[(((triple10) -> rule8))] Gary is round.[(((triple11) -> rule8))] @2: Anne is furry.[(((((triple1) -> rule9) triple1) -> rule1))] Fiona is blue.[(((((triple8) -> rule6) triple8) -> rule5) OR ((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) OR ((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5))] Gary is cold.[(((((triple11) -> rule8)) -> rule3))] @3: Fiona is big.[(((((((triple8) -> rule6) triple8) -> rule5) triple10) -> rule2) OR ((((((triple8) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) triple8) -> rule5) triple10) -> rule2) OR ((((((((((triple10) -> rule8)) -> rule3)) -> rule6) ((((triple10) -> rule8)) -> rule3)) -> rule5) triple10) -> rule2))] Gary is rough.[(((((((triple11) -> rule8)) -> rule3)) -> rule6))] @4: Gary is blue.[(((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5))] @5: Gary is big.[(((((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5) triple11) -> rule2))] @6: Gary is furry.[(((((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5) ((((((((((triple11) -> rule8)) -> rule3)) -> rule6) ((((triple11) -> rule8)) -> rule3)) -> rule5) triple11) -> rule2)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
((triple7) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple4 triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple5 ((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple5 ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((triple3) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple5 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((triple5 ((triple6 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((triple5 ((((triple7) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple5 ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule3 % int3))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2)) triple5) -> (rule4 % int4))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule3 % int3))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple7) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple6
((triple7) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
((((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int5)) ((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int5)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((triple8) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int5)) ((((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int6)) triple8) -> (rule5 % int5)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((triple8) -> (rule6 % int6)) triple8) -> (rule5 % int5)) ((((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int6)) ((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int5)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int6)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple8) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int6)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple8) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple6 triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple7) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((triple4 triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple4 ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple4 ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple3) -> (rule9 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple3) -> (rule9 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple3) -> (rule9 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule9 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule9 % int2)) ((triple7) -> (rule7 % int3))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule9 % int2)) ((triple4 triple7) -> (rule2 % int3))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((triple4 ((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((triple4 ((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple5 ((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple5 ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple3) -> (rule9 % int4)) ((((triple5 ((triple6) -> (rule3 % int3))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple3) -> (rule9 % int4)) ((((triple5 ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((triple7) -> (rule7 % int4))) -> (rule9 % int3)) ((((triple5 ((triple6) -> (rule3 % int2))) -> (rule5 % int3)) triple7) -> (rule2 % int4))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple7) -> (rule7 % int4))) -> (rule9 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int2))) -> (rule5 % int3)) triple7) -> (rule2 % int4))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((triple4 ((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((triple4 ((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((triple4 ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((triple4 ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple3) -> (rule9 % int5)) ((((triple5 ((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple3) -> (rule9 % int5)) ((((triple5 ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((triple4 ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((triple4 ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple3) -> (rule9 % int5)) ((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple3) -> (rule9 % int5)) ((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple7) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int4)) triple7) -> (rule2 % int5))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple7) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int4)) triple7) -> (rule2 % int5))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple3) -> (rule9 % int6)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int6)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple3) -> (rule9 % int6)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int5))) -> (rule5 % int6)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((triple7) -> (rule7 % int5))) -> (rule9 % int4)) ((((((((triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule3 % int3))) -> (rule5 % int4)) triple7) -> (rule2 % int5))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple7) -> (rule7 % int5))) -> (rule9 % int4)) ((((((((triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int4)) triple7) -> (rule2 % int5))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule9 % int5)) ((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2))) -> (rule3 % int4))) -> (rule5 % int5)) triple7) -> (rule2 % int6))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule9 % int5)) ((((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int2)) triple5) -> (rule4 % int4))) -> (rule5 % int5)) triple7) -> (rule2 % int6))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((triple5 ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((triple4 ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((triple4 ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((triple4 ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((triple4 ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple3) -> (rule9 % int6)) ((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int4))) -> (rule5 % int6)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple3) -> (rule9 % int6)) ((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int4))) -> (rule5 % int6)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple3) -> (rule9 % int6)) ((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int6)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((triple3) -> (rule9 % int6)) ((((((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int5)) triple5) -> (rule4 % int4))) -> (rule5 % int6)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule9 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule3 % int3))) -> (rule5 % int5)) triple7) -> (rule2 % int6))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule9 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6 triple5) -> (rule4 % int3))) -> (rule5 % int5)) triple7) -> (rule2 % int6))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule9 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int5)) triple7) -> (rule2 % int6))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((triple7) -> (rule7 % int6))) -> (rule9 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int5)) triple7) -> (rule2 % int6))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((triple6) -> (rule3 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((triple5 ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int3)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int4)) ((((((((((triple7) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int3)) triple5) -> (rule4 % int6))) -> (rule5 % int4)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((triple6 triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((triple6) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule6 % int5)) ((((triple7) -> (rule8 % int4)) triple5) -> (rule4 % int6))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6 triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) ((((((((((triple7) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule8 % int6)) triple5) -> (rule4 % int5))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple10) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple11) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule9 % int2)) triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple8) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple8) -> (rule6 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple8) -> (rule6 % int3)) triple8) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple8) -> (rule6 % int5)) ((((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple8) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((((((((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple11) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
((((((((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) ((((((((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple11) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule5 % int3)) triple11) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
int6