Dave is cold. Dave is furry. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is cold. Erin is furry. Erin is red. Erin is round. Erin is young. White, round things are smart. All red things are round. If something is red then it is young. All cold things are red. If something is young then it is furry. Smart, young things are furry. Red things are white. If Erin is red and Erin is young then Erin is furry.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
White, round things are smart.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is young then it is furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Smart, young things are furry.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If Erin is red and Erin is young then Erin is furry.
((("Erin" "is" "red" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "furry" "+"))
Dave is white.
True
1
proof
[(triple6 OR ((triple3) -> rule7) OR ((((triple1) -> rule4)) -> rule7))]
("Dave" "is" "white" "+")
triple6
((triple3) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is not round.
False
1
inv-proof
[(triple11 OR ((triple10) -> rule2) OR ((((triple8) -> rule4)) -> rule2))]
("Erin" "is" "round" "-")
triple11
((triple10) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
True
2
proof
[(((triple10) -> rule7) OR ((((triple8) -> rule4)) -> rule7))]
("Erin" "is" "white" "+")
((triple10) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not white.
False
2
inv-proof
[(((triple10) -> rule7) OR ((((triple8) -> rule4)) -> rule7))]
("Erin" "is" "white" "-")
((triple10) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
True
4
proof
[(((((triple10) -> rule7) triple11) -> rule1) OR ((((triple10) -> rule7) ((triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) triple11) -> rule1) OR ((((triple10) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1))]
("Erin" "is" "smart" "+")
((((triple10) -> (rule7 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple10) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is not smart.
False
4
inv-proof
[(((((triple10) -> rule7) triple11) -> rule1) OR ((((triple10) -> rule7) ((triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) triple11) -> rule1) OR ((((triple10) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1))]
("Erin" "is" "smart" "-")
((((triple10) -> (rule7 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple10) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2 OR ((triple7) -> rule5) OR ((triple5 triple7) -> rule6) OR ((((triple3) -> rule3)) -> rule5) OR ((triple5 ((triple3) -> rule3)) -> rule6) OR ((((triple6 triple4) -> rule1) triple7) -> rule6) OR ((((triple6 triple4) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple1) -> rule4)) -> rule3)) -> rule5) OR ((triple5 ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((triple6 ((triple3) -> rule2)) -> rule1) triple7) -> rule6) OR ((((((triple3) -> rule7) triple4) -> rule1) triple7) -> rule6) OR ((((triple6 triple4) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((triple6 ((triple3) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule7) triple4) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule7) ((triple3) -> rule2)) -> rule1) triple7) -> rule6) OR ((((triple6 ((triple3) -> rule2)) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((((triple3) -> rule7) triple4) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((((triple3) -> rule7) ((triple3) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule7) ((triple3) -> rule2)) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((triple6 ((((triple1) -> rule4)) -> rule2)) -> rule1) triple7) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) triple4) -> rule1) triple7) -> rule6) OR ((((triple6 ((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1) triple7) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) triple4) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) ((triple3) -> rule2)) -> rule1) triple7) -> rule6) OR ((((triple6 ((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((((triple3) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) triple4) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) ((triple3) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1) triple7) -> rule6) OR ((((((triple3) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) ((triple3) -> rule2)) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple1) -> rule4)) -> rule3)) -> rule6))] Dave is red.[(triple3 OR ((triple1) -> rule4))] Dave is round.[(triple4 OR ((triple3) -> rule2) OR ((((triple1) -> rule4)) -> rule2))] Dave is smart.[(triple5 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule7) triple4) -> rule1) OR ((((triple3) -> rule7) ((triple3) -> rule2)) -> rule1) OR ((triple6 ((((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple1) -> rule4)) -> rule7) triple4) -> rule1) OR ((((triple3) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple1) -> rule4)) -> rule7) ((triple3) -> rule2)) -> rule1) OR ((((((triple1) -> rule4)) -> rule7) ((((triple1) -> rule4)) -> rule2)) -> rule1))] Dave is white.[(triple6 OR ((triple3) -> rule7) OR ((((triple1) -> rule4)) -> rule7))] Dave is young.[(triple7 OR ((triple3) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple12) -> rule5) OR ((triple10 triple12) -> rule8) OR ((((triple10) -> rule3)) -> rule5) OR ((triple10 ((triple10) -> rule3)) -> rule8) OR ((((triple8) -> rule4) triple12) -> rule8) OR ((((triple8) -> rule4) ((triple10) -> rule3)) -> rule8) OR ((((((triple8) -> rule4)) -> rule3)) -> rule5) OR ((triple10 ((((triple8) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule7) triple11) -> rule1) triple12) -> rule6) OR ((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule3)) -> rule8) OR ((((((triple10) -> rule7) triple11) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((((((triple10) -> rule7) ((triple10) -> rule2)) -> rule1) triple12) -> rule6) OR ((((((triple10) -> rule7) triple11) -> rule1) ((((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((triple10) -> rule7) ((triple10) -> rule2)) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((((((triple10) -> rule7) ((triple10) -> rule2)) -> rule1) ((((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) triple11) -> rule1) triple12) -> rule6) OR ((((((triple10) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) triple12) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) triple11) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule1) triple12) -> rule6) OR ((((((triple10) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) triple11) -> rule1) ((((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) triple12) -> rule6) OR ((((((triple10) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) ((((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule1) ((((triple8) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) ((triple10) -> rule3)) -> rule6) OR ((((((((triple8) -> rule4)) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) ((((triple8) -> rule4)) -> rule3)) -> rule6))] Erin is red.[(triple10 OR ((triple8) -> rule4))] Erin is round.[(triple11 OR ((triple10) -> rule2) OR ((((triple8) -> rule4)) -> rule2))] Erin is young.[(triple12 OR ((triple10) -> rule3) OR ((((triple8) -> rule4)) -> rule3))] @1: Erin is white.[(((triple10) -> rule7) OR ((((triple8) -> rule4)) -> rule7))] @2: Erin is smart.[(((((triple10) -> rule7) triple11) -> rule1) OR ((((triple10) -> rule7) ((triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) triple11) -> rule1) OR ((((triple10) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule1) OR ((((((triple8) -> rule4)) -> rule7) ((((triple8) -> rule4)) -> rule2)) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple7) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple5 triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple5 ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple6 triple4) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple6 triple4) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple5 ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple6 ((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple3) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple6 triple4) -> (rule1 % int4)) ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple6 ((triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple3) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple3) -> (rule7 % int4)) ((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple6 ((triple3) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple3) -> (rule7 % int5)) triple4) -> (rule1 % int4)) ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple3) -> (rule7 % int5)) ((triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple3) -> (rule7 % int6)) ((triple3) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((triple6 ((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple6 ((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule7 % int5)) ((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple1) -> (rule4 % int5))) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule4 % int5))) -> (rule7 % int4)) ((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple6 ((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule7 % int6)) ((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple1) -> (rule4 % int5))) -> (rule7 % int4)) triple4) -> (rule1 % int3)) ((((triple1) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule4 % int6))) -> (rule7 % int5)) ((triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((triple1) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple1) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule7 % int6)) ((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple1) -> (rule4 % int6))) -> (rule7 % int5)) ((triple3) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((triple1) -> (rule4 % int6))) -> (rule7 % int5)) ((((triple1) -> (rule4 % int6))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
((((((((triple1) -> (rule4 % int6))) -> (rule7 % int5)) ((((triple1) -> (rule4 % int6))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is red.
("Dave" "is" "red" "+")
int6
Dave is red.
("Dave" "is" "red" "+")
triple3
((triple1) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple4
((triple3) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple5
((triple6 triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple6 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple3) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple6 ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple3) -> (rule7 % int4)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple1) -> (rule4 % int4))) -> (rule7 % int3)) ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple1) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple3) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
((triple12) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple10 triple12) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple10 ((triple10) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple8) -> (rule4 % int2)) triple12) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple8) -> (rule4 % int3)) ((triple10) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple10 ((((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple10) -> (rule7 % int3)) triple11) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple8) -> (rule4 % int3)) ((((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple10) -> (rule7 % int4)) triple11) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple10) -> (rule7 % int4)) ((triple10) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple10) -> (rule7 % int5)) triple11) -> (rule1 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple10) -> (rule7 % int5)) ((triple10) -> (rule2 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple10) -> (rule7 % int6)) ((triple10) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
int6
((((((((triple8) -> (rule4 % int4))) -> (rule7 % int3)) triple11) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple10) -> (rule7 % int5)) ((((triple8) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((triple8) -> (rule4 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple8) -> (rule4 % int5))) -> (rule7 % int4)) ((triple10) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple10) -> (rule7 % int6)) ((((triple8) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
int6
((((((((triple8) -> (rule4 % int5))) -> (rule7 % int4)) triple11) -> (rule1 % int3)) ((((triple8) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple8) -> (rule4 % int6))) -> (rule7 % int5)) ((triple10) -> (rule2 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
((((((((triple8) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple10) -> (rule7 % int6)) ((((triple8) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple8) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
int6
((((((((triple8) -> (rule4 % int6))) -> (rule7 % int5)) ((triple10) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple8) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
((((((((triple8) -> (rule4 % int6))) -> (rule7 % int5)) ((((triple8) -> (rule4 % int6))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
((((((((triple8) -> (rule4 % int6))) -> (rule7 % int5)) ((((triple8) -> (rule4 % int6))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple8) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
int6
Erin is red.
("Erin" "is" "red" "+")
triple10
((triple8) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple11
((triple10) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple12
((triple10) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((triple10) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple10) -> (rule7 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule7 % int2)) triple11) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple10) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule7 % int3)) ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4