Erin is nice. Erin is quiet. Erin is round. Furry, nice things are big. If something is big and nice then it is cold. If Erin is quiet then Erin is nice. All furry, nice things are quiet. All round, cold things are quiet. If Erin is nice and Erin is furry then Erin is big. If something is green then it is furry. If something is nice then it is green.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Furry, nice things are big.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is big and nice then it is cold.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If Erin is quiet then Erin is nice.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "nice" "+"))
All furry, nice things are quiet.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All round, cold things are quiet.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If Erin is nice and Erin is furry then Erin is big.
((("Erin" "is" "nice" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "+"))
If something is green then it is furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Erin is round.
True
1
proof
[(triple3)]
("Erin" "is" "round" "+")
triple3
Erin is not quiet.
False
1
inv-proof
[(triple2 OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule4) OR ((triple3 ((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2)) -> rule5) OR ((triple3 ((((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) triple1) -> rule2)) -> rule5))]
("Erin" "is" "quiet" "-")
triple2
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple3 ((((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((triple3 ((((((((triple1) -> (rule8 % int5))) -> (rule7 % int4)) triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is green.
True
2
proof
[(((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule8))]
("Erin" "is" "green" "+")
((triple1) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not green.
False
2
inv-proof
[(((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule8))]
("Erin" "is" "green" "-")
((triple1) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
True
3
proof
[(((((triple1) -> rule8)) -> rule7) OR ((((((triple2) -> rule3)) -> rule8)) -> rule7))]
("Erin" "is" "furry" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is not furry.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule7) OR ((((((triple2) -> rule3)) -> rule8)) -> rule7))]
("Erin" "is" "furry" "-")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
True
5
proof
[(((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) OR ((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1))]
("Erin" "is" "big" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple2) -> (rule3 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule7 % int3)) ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple1 ((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple2) -> (rule3 % int4)) ((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple2) -> (rule3 % int4))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is not big.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) OR ((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1))]
("Erin" "is" "big" "-")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple2) -> (rule3 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule7 % int3)) ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple1 ((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple2) -> (rule3 % int4)) ((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple2) -> (rule3 % int4))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
@0: Erin is nice.[(triple1 OR ((triple2) -> rule3))] Erin is quiet.[(triple2 OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule4) OR ((triple3 ((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2)) -> rule5) OR ((triple3 ((((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) triple1) -> rule2)) -> rule5))] Erin is round.[(triple3)] @1: Erin is green.[(((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule8))] @2: Erin is furry.[(((((triple1) -> rule8)) -> rule7) OR ((((((triple2) -> rule3)) -> rule8)) -> rule7))] @3: Erin is big.[(((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) OR ((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1))] @4: Erin is cold.[(((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) triple1) -> rule2) OR ((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) ((triple2) -> rule3)) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) triple1) -> rule2) OR ((((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2) OR ((((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) triple1) -> rule2) OR ((((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) ((triple2) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) triple1) -> rule2) OR ((((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
((triple2) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple3 ((((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((triple3 ((((((((triple1) -> (rule8 % int5))) -> (rule7 % int4)) triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
((triple1) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple2) -> (rule3 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule7 % int3)) ((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple1 ((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple2) -> (rule3 % int4)) ((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple2) -> (rule3 % int4))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((triple1 ((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple1) -> (rule8 % int4))) -> (rule7 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple1 ((((triple1) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple2) -> (rule3 % int5)) ((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule7 % int4)) triple1) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple2) -> (rule3 % int5)) ((((triple1) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2) -> (rule3 % int5))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule7 % int4)) ((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple1 ((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((triple1 ((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2) -> (rule3 % int5))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple2) -> (rule3 % int5)) ((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) triple1) -> (rule1 % int2)) ((triple2) -> (rule3 % int5))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple2) -> (rule3 % int5))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple2) -> (rule3 % int5)) ((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2) -> (rule3 % int5))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple2) -> (rule3 % int5))) -> (rule1 % int2)) ((triple2) -> (rule3 % int5))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5