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