Bob is big. Bob is furry. Bob is green. Bob is young. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is red. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is young. All red, furry people are big. If someone is big and cold then they are red. All green people are big. Green, big people are young. All blue, red people are young. All red people are blue. All big, furry people are red. If Erin is blue and Erin is red then Erin is green.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
All red, furry people are big.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Green, big people are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All blue, red people are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All big, furry people are red.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Erin is blue and Erin is red then Erin is green.
((("Erin" "is" "blue" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple14)]
("Harry" "is" "green" "+")
triple14
Erin is not big.
False
1
inv-proof
[(triple5 OR ((triple9 triple8) -> rule1) OR ((((triple6 triple9) -> rule8)) -> rule3) OR ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3))]
("Erin" "is" "big" "-")
triple5
((triple9 triple8) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple6 triple9) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is young.
True
3
proof
[(((triple6 triple9) -> rule5) OR ((triple6 ((triple5 triple7) -> rule2)) -> rule5) OR ((triple6 ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple9) -> rule6) triple9) -> rule5) OR ((((triple6 triple9) -> rule8) triple5) -> rule4) OR ((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple6 triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule5) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple6 triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((triple6 triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4))]
("Erin" "is" "young" "+")
((triple6 triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple6 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple6 ((triple5 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple6 triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple6 ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple6 ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 triple9) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple6 ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int5)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int5)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is not young.
False
3
inv-proof
[(((triple6 triple9) -> rule5) OR ((triple6 ((triple5 triple7) -> rule2)) -> rule5) OR ((triple6 ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple9) -> rule6) triple9) -> rule5) OR ((((triple6 triple9) -> rule8) triple5) -> rule4) OR ((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple6 triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule5) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple6 triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((triple6 triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4))]
("Erin" "is" "young" "-")
((triple6 triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple6 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple6 ((triple5 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple6 triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple6 ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple6 ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 triple9) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple6 ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int5)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int5)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Bob is blue.
True
4
proof
[(((((triple1 triple2) -> rule7)) -> rule6) OR ((((((triple3) -> rule3) triple2) -> rule7)) -> rule6))]
("Bob" "is" "blue" "+")
((((triple1 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple3) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not blue.
False
4
inv-proof
[(((((triple1 triple2) -> rule7)) -> rule6) OR ((((((triple3) -> rule3) triple2) -> rule7)) -> rule6))]
("Bob" "is" "blue" "-")
((((triple1 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple3) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
@0: Bob is big.[(triple1 OR ((triple3) -> rule3))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is young.[(triple4 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple3) -> rule3)) -> rule4) OR ((((((triple1 triple2) -> rule7)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((triple1 triple2) -> rule7)) -> rule6) ((((triple3) -> rule3) triple2) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple2) -> rule7)) -> rule6) ((triple1 triple2) -> rule7)) -> rule5) OR ((((((((triple3) -> rule3) triple2) -> rule7)) -> rule6) ((((triple3) -> rule3) triple2) -> rule7)) -> rule5))] Erin is big.[(triple5 OR ((triple9 triple8) -> rule1) OR ((((triple6 triple9) -> rule8)) -> rule3) OR ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3))] Erin is blue.[(triple6 OR ((triple9) -> rule6) OR ((((triple5 triple7) -> rule2)) -> rule6) OR ((((triple5 triple8) -> rule7)) -> rule6))] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is red.[(triple9 OR ((triple5 triple7) -> rule2) OR ((triple5 triple8) -> rule7))] Harry is big.[(triple10 OR ((triple14) -> rule3) OR ((triple15 triple13) -> rule1))] Harry is blue.[(triple11 OR ((triple15) -> rule6) OR ((((triple10 triple12) -> rule2)) -> rule6) OR ((((triple10 triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple12) -> rule2)) -> rule6) OR ((((((triple14) -> rule3) triple13) -> rule7)) -> rule6))] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15 OR ((triple10 triple12) -> rule2) OR ((triple10 triple13) -> rule7) OR ((((triple14) -> rule3) triple12) -> rule2) OR ((((triple14) -> rule3) triple13) -> rule7))] Harry is young.[(triple16 OR ((triple11 triple15) -> rule5) OR ((triple14 triple10) -> rule4) OR ((triple11 ((triple10 triple12) -> rule2)) -> rule5) OR ((triple11 ((triple10 triple13) -> rule7)) -> rule5) OR ((triple14 ((triple14) -> rule3)) -> rule4) OR ((triple14 ((triple15 triple13) -> rule1)) -> rule4) OR ((((triple15) -> rule6) triple15) -> rule5) OR ((((triple15) -> rule6) ((triple10 triple12) -> rule2)) -> rule5) OR ((((triple15) -> rule6) ((triple10 triple13) -> rule7)) -> rule5) OR ((triple11 ((((triple14) -> rule3) triple12) -> rule2)) -> rule5) OR ((triple11 ((((triple14) -> rule3) triple13) -> rule7)) -> rule5) OR ((((((triple10 triple12) -> rule2)) -> rule6) triple15) -> rule5) OR ((((((triple10 triple13) -> rule7)) -> rule6) triple15) -> rule5) OR ((((triple15) -> rule6) ((((triple14) -> rule3) triple12) -> rule2)) -> rule5) OR ((((triple15) -> rule6) ((((triple14) -> rule3) triple13) -> rule7)) -> rule5) OR ((((((triple10 triple12) -> rule2)) -> rule6) ((triple10 triple12) -> rule2)) -> rule5) OR ((((((triple10 triple12) -> rule2)) -> rule6) ((triple10 triple13) -> rule7)) -> rule5) OR ((((((triple10 triple13) -> rule7)) -> rule6) ((triple10 triple12) -> rule2)) -> rule5) OR ((((((triple10 triple13) -> rule7)) -> rule6) ((triple10 triple13) -> rule7)) -> rule5) OR ((((((triple10 triple12) -> rule2)) -> rule6) ((((triple14) -> rule3) triple12) -> rule2)) -> rule5) OR ((((((triple10 triple12) -> rule2)) -> rule6) ((((triple14) -> rule3) triple13) -> rule7)) -> rule5) OR ((((((triple10 triple13) -> rule7)) -> rule6) ((((triple14) -> rule3) triple12) -> rule2)) -> rule5) OR ((((((triple10 triple13) -> rule7)) -> rule6) ((((triple14) -> rule3) triple13) -> rule7)) -> rule5) OR ((((((((triple14) -> rule3) triple12) -> rule2)) -> rule6) triple15) -> rule5) OR ((((((((triple14) -> rule3) triple13) -> rule7)) -> rule6) triple15) -> rule5) OR ((((((((triple14) -> rule3) triple12) -> rule2)) -> rule6) ((triple10 triple12) -> rule2)) -> rule5) OR ((((((((triple14) -> rule3) triple12) -> rule2)) -> rule6) ((triple10 triple13) -> rule7)) -> rule5) OR ((((((((triple14) -> rule3) triple13) -> rule7)) -> rule6) ((triple10 triple12) -> rule2)) -> rule5) OR ((((((((triple14) -> rule3) triple13) -> rule7)) -> rule6) ((triple10 triple13) -> rule7)) -> rule5) OR ((((((((triple14) -> rule3) triple12) -> rule2)) -> rule6) ((((triple14) -> rule3) triple12) -> rule2)) -> rule5) OR ((((((((triple14) -> rule3) triple12) -> rule2)) -> rule6) ((((triple14) -> rule3) triple13) -> rule7)) -> rule5) OR ((((((((triple14) -> rule3) triple13) -> rule7)) -> rule6) ((((triple14) -> rule3) triple12) -> rule2)) -> rule5) OR ((((((((triple14) -> rule3) triple13) -> rule7)) -> rule6) ((((triple14) -> rule3) triple13) -> rule7)) -> rule5))] @1: Bob is red.[(((triple1 triple2) -> rule7) OR ((((triple3) -> rule3) triple2) -> rule7))] Erin is green.[(((triple6 triple9) -> rule8) OR ((triple6 ((triple5 triple7) -> rule2)) -> rule8) OR ((triple6 ((triple5 triple8) -> rule7)) -> rule8) OR ((((triple9) -> rule6) triple9) -> rule8) OR ((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) OR ((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) OR ((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) OR ((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8))] Erin is young.[(((triple6 triple9) -> rule5) OR ((triple6 ((triple5 triple7) -> rule2)) -> rule5) OR ((triple6 ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple9) -> rule6) triple9) -> rule5) OR ((((triple6 triple9) -> rule8) triple5) -> rule4) OR ((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple6 triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule5) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule5) OR ((((triple6 triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) triple5) -> rule4) OR ((((triple6 triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) triple5) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) triple5) -> rule4) OR ((((triple6 ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((triple6 ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((triple9 triple8) -> rule1)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((triple9) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) triple9) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((triple6 triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple7) -> rule2)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple7) -> rule2)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple5 triple8) -> rule7)) -> rule6) ((triple5 triple8) -> rule7)) -> rule8) ((((((triple9) -> rule6) triple9) -> rule8)) -> rule3)) -> rule4))] @2: Bob is blue.[(((((triple1 triple2) -> rule7)) -> rule6) OR ((((((triple3) -> rule3) triple2) -> rule7)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
((triple3 triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 ((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple1 triple2) -> (rule7 % int3))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple1 triple2) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule3 % int2)) triple2) -> (rule7 % int4))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule6 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple3) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule3 % int4)) triple2) -> (rule7 % int3))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
triple5
((triple9 triple8) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple6 triple9) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
triple6
((triple9) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple5 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5 triple8) -> (rule7 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
((triple5 triple7) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple5 triple8) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple14) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple15 triple13) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple15) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple10 triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple10 triple13) -> (rule7 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple14) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14) -> (rule3 % int3)) triple13) -> (rule7 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
((triple10 triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple10 triple13) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple14) -> (rule3 % int2)) triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple14) -> (rule3 % int2)) triple13) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple11 triple15) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple14 triple10) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple11 ((triple10 triple12) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple11 ((triple10 triple13) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple14 ((triple14) -> (rule3 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple14 ((triple15 triple13) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple15) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple15) -> (rule6 % int3)) ((triple10 triple12) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple15) -> (rule6 % int3)) ((triple10 triple13) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple11 ((((triple14) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple11 ((((triple14) -> (rule3 % int3)) triple13) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple10 triple12) -> (rule2 % int3))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10 triple13) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple15) -> (rule6 % int4)) ((((triple14) -> (rule3 % int3)) triple12) -> (rule2 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple15) -> (rule6 % int4)) ((((triple14) -> (rule3 % int3)) triple13) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple10 triple12) -> (rule2 % int3))) -> (rule6 % int2)) ((triple10 triple12) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10 triple12) -> (rule2 % int3))) -> (rule6 % int2)) ((triple10 triple13) -> (rule7 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10 triple13) -> (rule7 % int3))) -> (rule6 % int2)) ((triple10 triple12) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10 triple13) -> (rule7 % int3))) -> (rule6 % int2)) ((triple10 triple13) -> (rule7 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10 triple12) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple14) -> (rule3 % int2)) triple12) -> (rule2 % int4))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple10 triple12) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple14) -> (rule3 % int2)) triple13) -> (rule7 % int4))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple10 triple13) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple14) -> (rule3 % int2)) triple12) -> (rule2 % int4))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple10 triple13) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple14) -> (rule3 % int2)) triple13) -> (rule7 % int4))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple13) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule6 % int2)) ((triple10 triple12) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule6 % int2)) ((triple10 triple13) -> (rule7 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple13) -> (rule7 % int3))) -> (rule6 % int2)) ((triple10 triple12) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple13) -> (rule7 % int3))) -> (rule6 % int2)) ((triple10 triple13) -> (rule7 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple14) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple14) -> (rule3 % int4)) triple13) -> (rule7 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple13) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple14) -> (rule3 % int4)) triple12) -> (rule2 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14) -> (rule3 % int4)) triple13) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple14) -> (rule3 % int4)) triple13) -> (rule7 % int3))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((triple1 triple2) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3) -> (rule3 % int2)) triple2) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((triple6 triple9) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple6 ((triple5 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple6 ((triple5 triple8) -> (rule7 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((triple6 triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple6 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple6 ((triple5 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple6 triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple7) -> (rule2 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple5 triple8) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5 triple8) -> (rule7 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple6 triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple6 ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int3))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple6 ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 triple9) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple7) -> (rule2 % int4))) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple5 triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple6 ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple6 ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9 triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int5)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple5 triple8) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int5)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple6 triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple7) -> (rule2 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple7) -> (rule2 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple5 triple8) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5 triple8) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple3) -> (rule3 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3