Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Erin is young. If Erin is quiet and Erin is young then Erin is green. All young people are smart. If someone is smart then they are quiet. If someone is rough and furry then they are quiet. If someone is furry then they are young. Quiet people are green. All young people are smart. All quiet, green people are young.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If Erin is quiet and Erin is young then Erin is green.
((("Erin" "is" "quiet" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "green" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough and furry then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry then they are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All quiet, green people are young.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Erin is smart.
True
1
proof
[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule7) OR ((((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule7) OR ((((triple4 triple3) -> rule8)) -> rule2) OR ((((triple4 triple3) -> rule8)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) triple3) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) triple3) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule7))]
("Erin" "is" "smart" "+")
triple6
((triple7) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple7) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4 triple3) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple5 triple2) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple5 triple2) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple5 triple2) -> (rule4 % int4)) ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple5 triple2) -> (rule4 % int4)) ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple4 ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple4 ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple5 triple2) -> (rule4 % int4)) ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple5 triple2) -> (rule4 % int4)) ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is not blue.
False
1
inv-proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple4) -> rule6) OR ((triple4 triple7) -> rule1) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple5 triple2) -> rule4)) -> rule6) OR ((triple4 ((triple2) -> rule5)) -> rule1) OR ((((triple6) -> rule3) triple7) -> rule1) OR ((((triple5 triple2) -> rule4) triple7) -> rule1) OR ((((triple6) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((triple5 triple2) -> rule4) ((triple2) -> rule5)) -> rule1) OR ((((((triple7) -> rule2)) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule2)) -> rule3) triple7) -> rule1) OR ((((((triple7) -> rule7)) -> rule3) triple7) -> rule1) OR ((((((triple7) -> rule2)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((triple7) -> rule7)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule5)) -> rule2)) -> rule3) triple7) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule3) triple7) -> rule1) OR ((((((((triple2) -> rule5)) -> rule2)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule3) ((triple2) -> rule5)) -> rule1))] Erin is quiet.[(triple4 OR ((triple6) -> rule3) OR ((triple5 triple2) -> rule4) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple7) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule2)) -> rule3) OR ((((((triple2) -> rule5)) -> rule7)) -> rule3))] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule7) OR ((((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule7) OR ((((triple4 triple3) -> rule8)) -> rule2) OR ((((triple4 triple3) -> rule8)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) triple3) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) triple3) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8)) -> rule7) OR ((((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule2) OR ((((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8)) -> rule7))] Erin is young.[(triple7 OR ((triple2) -> rule5) OR ((triple4 triple3) -> rule8) OR ((triple4 ((triple4) -> rule6)) -> rule8) OR ((((triple6) -> rule3) triple3) -> rule8) OR ((((triple5 triple2) -> rule4) triple3) -> rule8) OR ((((triple6) -> rule3) ((triple4) -> rule6)) -> rule8) OR ((((triple5 triple2) -> rule4) ((triple4) -> rule6)) -> rule8) OR ((triple4 ((((triple6) -> rule3)) -> rule6)) -> rule8) OR ((triple4 ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule6)) -> rule8) OR ((((triple6) -> rule3) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8) OR ((((triple5 triple2) -> rule4) ((((triple6) -> rule3)) -> rule6)) -> rule8) OR ((((triple5 triple2) -> rule4) ((((triple5 triple2) -> rule4)) -> rule6)) -> rule8))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
((triple4) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple4 triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple5 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple4 ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple6) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple5 triple2) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple5 triple2) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule2 % int4))) -> (rule3 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple7) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple6) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple5 triple2) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple7) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple7) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4 triple3) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple5 triple2) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple5 triple2) -> (rule4 % int3)) triple3) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple5 triple2) -> (rule4 % int4)) ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple5 triple2) -> (rule4 % int4)) ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple4 ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple4 ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple5 triple2) -> (rule4 % int4)) ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple5 triple2) -> (rule4 % int4)) ((((triple5 triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple2) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple4 triple3) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple4 ((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple6) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple5 triple2) -> (rule4 % int2)) triple3) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple5 triple2) -> (rule4 % int3)) ((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple4 ((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple4 ((((triple5 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple6) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple6) -> (rule3 % int3)) ((((triple5 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple5 triple2) -> (rule4 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple5 triple2) -> (rule4 % int3)) ((((triple5 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3