Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is round. Erin is smart. Erin is young. Harry is green. Harry is quiet. Harry is young. If someone is young then they are smart. All quiet people are round. Young, cold people are green. If Erin is blue and Erin is cold then Erin is green. All blue people are quiet. If someone is cold and quiet then they are blue. Round people are young. Young, round people are cold.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Young, cold people are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If Erin is blue and Erin is cold then Erin is green.
((("Erin" "is" "blue" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "green" "+"))
All blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is cold and quiet then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Young, round people are cold.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Erin is round.
True
1
proof
[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule5)) -> rule2))]
("Erin" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not quiet.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule5))]
("Erin" "is" "quiet" "-")
triple4
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Harry is smart.
True
2
proof
[(((triple10) -> rule1) OR ((((((triple9) -> rule2)) -> rule7)) -> rule1))]
("Harry" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((((triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not smart.
False
2
inv-proof
[(((triple10) -> rule1) OR ((((((triple9) -> rule2)) -> rule7)) -> rule1))]
("Harry" "is" "smart" "-")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((((triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
True
4
proof
[(((triple10 ((triple9) -> rule2)) -> rule8) OR ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8))]
("Harry" "is" "cold" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule7 % int2)) ((triple9) -> (rule2 % int3))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not cold.
False
4
inv-proof
[(((triple10 ((triple9) -> rule2)) -> rule8) OR ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8))]
("Harry" "is" "cold" "-")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule7 % int2)) ((triple9) -> (rule2 % int3))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
True
6
proof
[(((((triple10 ((triple9) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8) triple9) -> rule6))]
("Harry" "is" "blue" "+")
((((triple10 ((triple9) -> (rule2 % int3))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((((triple9) -> (rule2 % int4))) -> (rule7 % int3)) ((triple9) -> (rule2 % int4))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not blue.
False
6
inv-proof
[(((((triple10 ((triple9) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8) triple9) -> rule6))]
("Harry" "is" "blue" "-")
((((triple10 ((triple9) -> (rule2 % int3))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((((triple9) -> (rule2 % int4))) -> (rule7 % int3)) ((triple9) -> (rule2 % int4))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
@0: Erin is blue.[(triple1 OR ((triple2 triple4) -> rule6) OR ((((triple7 triple5) -> rule8) triple4) -> rule6) OR ((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) OR ((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) OR ((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) OR ((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) OR ((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6))] Erin is cold.[(triple2 OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple4) -> rule2)) -> rule8) OR ((((triple5) -> rule7) triple5) -> rule8) OR ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) OR ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8))] Erin is green.[(triple3 OR ((triple1 triple2) -> rule4) OR ((triple7 triple2) -> rule3) OR ((triple1 ((triple7 triple5) -> rule8)) -> rule4) OR ((triple7 ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple5) -> rule7) triple2) -> rule3) OR ((((triple2 triple4) -> rule6) triple2) -> rule4) OR ((((triple5) -> rule7) ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((triple1 ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((triple7 ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((triple7 ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) triple2) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule7) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((triple7 ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((triple7 ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((triple7 ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((triple7 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4))] Erin is quiet.[(triple4 OR ((triple1) -> rule5))] Erin is round.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Erin is smart.[(triple6 OR ((triple7) -> rule1) OR ((((triple5) -> rule7)) -> rule1) OR ((((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7)) -> rule1))] Erin is young.[(triple7 OR ((triple5) -> rule7) OR ((((triple4) -> rule2)) -> rule7) OR ((((((triple1) -> rule5)) -> rule2)) -> rule7))] Harry is green.[(triple8 OR ((triple10 ((triple10 ((triple9) -> rule2)) -> rule8)) -> rule3) OR ((((((triple9) -> rule2)) -> rule7) ((triple10 ((triple9) -> rule2)) -> rule8)) -> rule3) OR ((triple10 ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8)) -> rule3) OR ((((((triple9) -> rule2)) -> rule7) ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8)) -> rule3))] Harry is quiet.[(triple9)] Harry is young.[(triple10 OR ((((triple9) -> rule2)) -> rule7))] @1: Harry is round.[(((triple9) -> rule2))] Harry is smart.[(((triple10) -> rule1) OR ((((((triple9) -> rule2)) -> rule7)) -> rule1))] @2: Harry is cold.[(((triple10 ((triple9) -> rule2)) -> rule8) OR ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8))] @3: Harry is blue.[(((((triple10 ((triple9) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8) triple9) -> rule6))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((triple2 triple4) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple7 triple5) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple5) -> (rule7 % int4)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple2
((triple7 triple5) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple5) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple5) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) ((triple4) -> (rule2 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple4) -> (rule2 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
triple3
((triple1 triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple7 triple2) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple1 ((triple7 triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple7 ((triple7 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple5) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple2 triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple7 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple2 triple4) -> (rule6 % int3)) ((triple7 triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple1 ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple1 ((((triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple7 ((((triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple7 triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple1 ((((triple5) -> (rule7 % int4)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((triple7 ((((triple5) -> (rule7 % int4)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5) -> (rule7 % int4)) ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple2 triple4) -> (rule6 % int4)) ((triple7 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple2 triple4) -> (rule6 % int4)) ((((triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple7 triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple5) -> (rule7 % int4)) ((((triple5) -> (rule7 % int4)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple2 triple4) -> (rule6 % int5)) ((((triple5) -> (rule7 % int4)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple7 triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((triple7 ((triple4) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple7 triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((triple5) -> (rule7 % int2)) triple5) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple7 triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((triple5) -> (rule7 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((triple1 ((triple7 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple1 ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple7 ((triple7 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple7 ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple7 ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((triple1 ((((triple5) -> (rule7 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple1 ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple7 ((((triple5) -> (rule7 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple7 ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5) -> (rule7 % int5)) ((triple7 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple5) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule7 % int4)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple2 triple4) -> (rule6 % int5)) ((triple7 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple2 triple4) -> (rule6 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple7 ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple1 ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((triple7 ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((triple5) -> (rule7 % int5)) ((((triple5) -> (rule7 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple5) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule7 % int4)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple7 ((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple2 triple4) -> (rule6 % int6)) ((((triple5) -> (rule7 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((triple2 triple4) -> (rule6 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple7 triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((triple7 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple7 triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple7 ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple7 ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((triple5) -> (rule7 % int2)) triple5) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple5) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((triple7 ((triple4) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple5) -> (rule7 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 ((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple2 triple4) -> (rule6 % int6)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((triple7 triple5) -> (rule8 % int6)) triple4) -> (rule6 % int5)) ((((triple5) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int6))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple7 triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule7 % int2)) ((triple4) -> (rule2 % int3))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
((((((triple7 ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((triple7 ((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple7 ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((triple5) -> (rule7 % int2)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple7 ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int2)) triple5) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple5) -> (rule7 % int6)) triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((triple7 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((triple5) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int2))) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((triple5) -> (rule7 % int5)) triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple7 triple5) -> (rule8 % int6)) triple4) -> (rule6 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule8 % int6))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple7 ((triple4) -> (rule2 % int6))) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((triple5) -> (rule7 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((triple7 ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int2)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple5) -> (rule7 % int6)) triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((triple5) -> (rule7 % int6)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((triple5) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int2))) -> (rule7 % int5)) ((triple4) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule7 % int6)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((triple7 ((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int5)) triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple7 ((triple4) -> (rule2 % int6))) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((triple4) -> (rule2 % int6))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((triple5) -> (rule7 % int6)) triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule7 % int6)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int3))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((triple5) -> (rule7 % int6)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((triple5) -> (rule7 % int6)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((triple5) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((((triple4) -> (rule2 % int4))) -> (rule7 % int5)) ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule7 % int6)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int6)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((triple1 ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((triple7 ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((triple1 ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((triple7 ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5) -> (rule7 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int5)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple2 triple4) -> (rule6 % int6)) ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((triple1 ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((triple7 ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5) -> (rule7 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int5)) ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((triple2 triple4) -> (rule6 % int6)) ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((triple7 triple5) -> (rule8 % int6)) triple4) -> (rule6 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule8 % int6))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((triple5) -> (rule7 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple2 triple4) -> (rule6 % int6)) ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((triple7 triple5) -> (rule8 % int6)) triple4) -> (rule6 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple4) -> (rule2 % int3))) -> (rule8 % int6))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple7 ((triple4) -> (rule2 % int6))) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int6))) -> (rule7 % int2)) triple5) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((triple5) -> (rule7 % int6)) triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int6)) triple5) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((triple7 ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((triple5) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((triple7 ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple7 triple5) -> (rule8 % int6)) triple4) -> (rule6 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule8 % int6))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
int6
((((((triple7 ((triple4) -> (rule2 % int6))) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int6))) -> (rule7 % int2)) ((triple4) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((triple5) -> (rule7 % int6)) triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int6)) ((triple4) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((triple5) -> (rule7 % int6)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule7 % int6)) triple5) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((triple5) -> (rule7 % int5)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((triple7 ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((triple5) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple7 ((triple4) -> (rule2 % int6))) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int6))) -> (rule7 % int2)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int6))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((triple5) -> (rule7 % int6)) triple5) -> (rule8 % int5)) triple4) -> (rule6 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int6)) ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((triple5) -> (rule7 % int6)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule7 % int6)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((triple5) -> (rule7 % int5)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3)) triple4) -> (rule6 % int2)) ((((((triple4) -> (rule2 % int5))) -> (rule7 % int4)) ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((triple5) -> (rule7 % int6)) ((triple4) -> (rule2 % int5))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule7 % int6)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule7 % int5)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((((triple4) -> (rule2 % int6))) -> (rule7 % int5)) ((triple4) -> (rule2 % int6))) -> (rule8 % int4)) triple4) -> (rule6 % int3)) ((((((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule7 % int5)) ((((triple1) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule8 % int4))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple1) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple7) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple5) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple10 ((triple10 ((triple9) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple9) -> (rule2 % int4))) -> (rule7 % int3)) ((triple10 ((triple9) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((triple10 ((((((triple9) -> (rule2 % int4))) -> (rule7 % int3)) ((triple9) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple9) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple9) -> (rule2 % int4))) -> (rule7 % int3)) ((triple9) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
((((triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((((triple9) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule7 % int2)) ((triple9) -> (rule2 % int3))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple10 ((triple9) -> (rule2 % int3))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((((triple9) -> (rule2 % int4))) -> (rule7 % int3)) ((triple9) -> (rule2 % int4))) -> (rule8 % int2)) triple9) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4