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