Anne is big. Anne is cold. Anne is furry. Anne is red. Anne is rough. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Dave is quiet. Dave is smart. Erin is quiet. Red, cold people are big. If someone is big then they are rough. If someone is furry and rough then they are smart. Smart, cold people are furry. If someone is quiet then they are cold. Big, rough people are smart. If someone is quiet then they are red.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Red, cold people are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is furry and rough then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Smart, cold people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Big, rough people are smart.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If someone is quiet then they are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple14)]
("Erin" "is" "quiet" "+")
triple14
Charlie is not rough.
False
1
inv-proof
[(triple10 OR ((((triple9 triple6) -> rule1)) -> rule2) OR ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2) OR ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2) OR ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2))]
("Charlie" "is" "rough" "-")
triple10
((((triple9 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple9 ((triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple8) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple8) -> (rule7 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Dave is cold.
True
2
proof
[(((triple12) -> rule5))]
("Dave" "is" "cold" "+")
((triple12) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Anne is not smart.
False
3
inv-proof
[(((triple1 triple5) -> rule6) OR ((triple3 triple5) -> rule3) OR ((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple3 ((triple1) -> rule2)) -> rule3) OR ((((triple4 triple2) -> rule1) triple5) -> rule6) OR ((((triple4 triple2) -> rule1) ((triple1) -> rule2)) -> rule6) OR ((triple1 ((((triple4 triple2) -> rule1)) -> rule2)) -> rule6) OR ((triple3 ((((triple4 triple2) -> rule1)) -> rule2)) -> rule3) OR ((((triple4 triple2) -> rule1) ((((triple4 triple2) -> rule1)) -> rule2)) -> rule6))]
("Anne" "is" "smart" "-")
((triple1 triple5) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple3 triple5) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple3 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple4 triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4 triple2) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple3 ((((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple4 triple2) -> (rule1 % int3)) ((((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Dave is furry.
True
4
proof
[(((triple13 ((triple12) -> rule5)) -> rule4) OR ((((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1) ((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple12) -> rule5)) -> rule4))]
("Dave" "is" "furry" "+")
((triple13 ((triple12) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((((triple12) -> (rule7 % int6)) ((triple12) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule7 % int6)) ((triple12) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple12) -> (rule5 % int5))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
Dave is not big.
False
5
inv-proof
[(((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1))]
("Dave" "is" "big" "-")
((((triple12) -> (rule7 % int3)) ((triple12) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
True
6
proof
[(((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1)) -> rule2))]
("Dave" "is" "rough" "+")
((((((triple12) -> (rule7 % int4)) ((triple12) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Erin is not rough.
False
6
inv-proof
[(((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2))]
("Erin" "is" "rough" "-")
((((((triple14) -> (rule7 % int4)) ((triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is smart.
True
12
proof
[(((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1) ((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2)) -> rule6))]
("Erin" "is" "smart" "+")
((((((triple14) -> (rule7 % int5)) ((triple14) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule7 % int5)) ((triple14) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is not smart.
False
12
inv-proof
[(((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1) ((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2)) -> rule6))]
("Erin" "is" "smart" "-")
((((((triple14) -> (rule7 % int5)) ((triple14) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule7 % int5)) ((triple14) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is furry.
True
15
proof
[(((((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1) ((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple14) -> rule5)) -> rule4))]
("Erin" "is" "furry" "+")
((((((((triple14) -> (rule7 % int6)) ((triple14) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple14) -> (rule7 % int6)) ((triple14) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple14) -> (rule5 % int5))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
Erin is not furry.
False
15
inv-proof
[(((((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1) ((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple14) -> rule5)) -> rule4))]
("Erin" "is" "furry" "-")
((((((((triple14) -> (rule7 % int6)) ((triple14) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple14) -> (rule7 % int6)) ((triple14) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple14) -> (rule5 % int5))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
@0: Anne is big.[(triple1 OR ((triple4 triple2) -> rule1))] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((((triple1 triple5) -> rule6) triple2) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule6) triple2) -> rule4) OR ((((((triple4 triple2) -> rule1) triple5) -> rule6) triple2) -> rule4) OR ((((((triple4 triple2) -> rule1) ((triple1) -> rule2)) -> rule6) triple2) -> rule4) OR ((((triple1 ((((triple4 triple2) -> rule1)) -> rule2)) -> rule6) triple2) -> rule4) OR ((((((triple4 triple2) -> rule1) ((((triple4 triple2) -> rule1)) -> rule2)) -> rule6) triple2) -> rule4))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule2) OR ((((triple4 triple2) -> rule1)) -> rule2))] Charlie is cold.[(triple6 OR ((triple8) -> rule5))] Charlie is furry.[(triple7 OR ((triple11 triple6) -> rule4) OR ((triple11 ((triple8) -> rule5)) -> rule4) OR ((((((triple9 triple6) -> rule1) triple10) -> rule6) triple6) -> rule4) OR ((((((triple9 triple6) -> rule1) triple10) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) triple10) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) triple10) -> rule6) triple6) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) triple10) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) triple10) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) triple10) -> rule6) triple6) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) triple10) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple9 triple6) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple9 ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) triple6) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple8) -> rule5)) -> rule4))] Charlie is quiet.[(triple8)] Charlie is red.[(triple9 OR ((triple8) -> rule7))] Charlie is rough.[(triple10 OR ((((triple9 triple6) -> rule1)) -> rule2) OR ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2) OR ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2) OR ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2))] Charlie is smart.[(triple11 OR ((triple7 triple10) -> rule3) OR ((((triple9 triple6) -> rule1) triple10) -> rule6) OR ((triple7 ((((triple9 triple6) -> rule1)) -> rule2)) -> rule3) OR ((((triple9 ((triple8) -> rule5)) -> rule1) triple10) -> rule6) OR ((((((triple8) -> rule7) triple6) -> rule1) triple10) -> rule6) OR ((((triple9 triple6) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) triple10) -> rule6) OR ((((triple9 ((triple8) -> rule5)) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) triple6) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((triple9 triple6) -> rule1)) -> rule2)) -> rule6) OR ((triple7 ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple7 ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule3) OR ((triple7 ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((((triple9 triple6) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 triple6) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 triple6) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 ((triple8) -> rule5)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) triple6) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) triple6) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) triple6) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((triple9 ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1) ((((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6))] Dave is quiet.[(triple12)] Dave is smart.[(triple13 OR ((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1) ((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1)) -> rule2)) -> rule6))] Erin is quiet.[(triple14)] @1: Anne is smart.[(((triple1 triple5) -> rule6) OR ((triple3 triple5) -> rule3) OR ((triple1 ((triple1) -> rule2)) -> rule6) OR ((triple3 ((triple1) -> rule2)) -> rule3) OR ((((triple4 triple2) -> rule1) triple5) -> rule6) OR ((((triple4 triple2) -> rule1) ((triple1) -> rule2)) -> rule6) OR ((triple1 ((((triple4 triple2) -> rule1)) -> rule2)) -> rule6) OR ((triple3 ((((triple4 triple2) -> rule1)) -> rule2)) -> rule3) OR ((((triple4 triple2) -> rule1) ((((triple4 triple2) -> rule1)) -> rule2)) -> rule6))] Charlie is big.[(((triple9 triple6) -> rule1) OR ((triple9 ((triple8) -> rule5)) -> rule1) OR ((((triple8) -> rule7) triple6) -> rule1) OR ((((triple8) -> rule7) ((triple8) -> rule5)) -> rule1))] Dave is cold.[(((triple12) -> rule5))] Dave is red.[(((triple12) -> rule7))] Erin is cold.[(((triple14) -> rule5))] Erin is red.[(((triple14) -> rule7))] @2: Dave is big.[(((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1))] Dave is furry.[(((triple13 ((triple12) -> rule5)) -> rule4) OR ((((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1) ((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple12) -> rule5)) -> rule4))] Erin is big.[(((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1))] @3: Dave is rough.[(((((((triple12) -> rule7) ((triple12) -> rule5)) -> rule1)) -> rule2))] Erin is rough.[(((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2))] @4: Erin is smart.[(((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1) ((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2)) -> rule6))] @5: Erin is furry.[(((((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1) ((((((triple14) -> rule7) ((triple14) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((triple14) -> rule5)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4 triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((((triple1 triple5) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple4 triple2) -> (rule1 % int3)) triple5) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple4 triple2) -> (rule1 % int4)) ((triple1) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 ((((triple4 triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple4 triple2) -> (rule1 % int4)) ((((triple4 triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple4 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
((triple8) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
((triple11 triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple11 ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple9 triple6) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple9 triple6) -> (rule1 % int4)) triple10) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple9 triple6) -> (rule1 % int4)) ((((triple9 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule6 % int2)) ((triple8) -> (rule5 % int4))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int4)) triple10) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple9 triple6) -> (rule1 % int5)) ((((triple9 triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int4)) ((((triple9 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule6 % int2)) ((triple8) -> (rule5 % int4))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int5))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int5)) ((((triple9 triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int5))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((triple9 triple6) -> (rule1 % int5)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple9 triple6) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple9 triple6) -> (rule1 % int5)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int4))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple9 triple6) -> (rule1 % int6)) ((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int6))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple9 triple6) -> (rule1 % int6)) ((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int6))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple9 ((triple8) -> (rule5 % int6))) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int5)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple9 triple6) -> (rule1 % int6)) ((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int6))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int4))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is big.
("Charlie" "is" "big" "+")
int6
((((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int5))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple9 ((triple8) -> (rule5 % int6))) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int6))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((triple9 ((triple8) -> (rule5 % int6))) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int4)) ((triple8) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int5)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int4))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((triple9 ((triple8) -> (rule5 % int6))) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int4)) ((triple8) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int6))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int4))) -> (rule1 % int5))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int4))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int5))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int6)) triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int5))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
((((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int6)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple8) -> (rule5 % int5))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
((triple8) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
((((triple9 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple9 ((triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple8) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple8) -> (rule7 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
((triple7 triple10) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple9 triple6) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple7 ((((triple9 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple9 ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple8) -> (rule7 % int3)) triple6) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple9 triple6) -> (rule1 % int3)) ((((triple9 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple8) -> (rule7 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple9 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int3)) ((((triple9 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple9 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((triple7 ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple7 ((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((triple7 ((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple9 triple6) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple9 triple6) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int3)) triple6) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple9 triple6) -> (rule1 % int5)) ((((((triple8) -> (rule7 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int3)) triple6) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int4)) ((((triple9 ((triple8) -> (rule5 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int3)) ((((((triple8) -> (rule7 % int4)) triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple9 ((triple8) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int3)) ((triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int4)) ((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple9 ((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple8) -> (rule7 % int5)) triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple8) -> (rule7 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple13
((((((triple12) -> (rule7 % int5)) ((triple12) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule7 % int5)) ((triple12) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 triple5) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple3 triple5) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1 ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple3 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple4 triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4 triple2) -> (rule1 % int3)) ((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple3 ((((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple4 triple2) -> (rule1 % int3)) ((((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple9 triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple9 ((triple8) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple8) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple8) -> (rule7 % int3)) ((triple8) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple12) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple12) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple14) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple14) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple12) -> (rule7 % int3)) ((triple12) -> (rule5 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple13 ((triple12) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((((triple12) -> (rule7 % int6)) ((triple12) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule7 % int6)) ((triple12) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple12) -> (rule5 % int5))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
Erin is big.
("Erin" "is" "big" "+")
((((triple14) -> (rule7 % int3)) ((triple14) -> (rule5 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple12) -> (rule7 % int4)) ((triple12) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple14) -> (rule7 % int4)) ((triple14) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple14) -> (rule7 % int5)) ((triple14) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule7 % int5)) ((triple14) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
((((((((triple14) -> (rule7 % int6)) ((triple14) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple14) -> (rule7 % int6)) ((triple14) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((triple14) -> (rule5 % int5))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6