Bob is kind. Erin is big. Erin is green. Erin is kind. Erin is red. Erin is rough. Fiona is big. Fiona is blue. Fiona is rough. Harry is blue. Harry is rough. Red people are rough. If Erin is rough and Erin is blue then Erin is big. All big people are rough. If someone is big then they are red. If someone is big and rough then they are young. Blue people are red. Green, kind people are blue. Red people are big. Kind people are green.
Bob is kind.
("Bob" "is" "kind" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If Erin is rough and Erin is blue then Erin is big.
((("Erin" "is" "rough" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "big" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Green, kind people are blue.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Fiona is big.
True
1
proof
[(triple7 OR ((((triple8) -> rule6)) -> rule8))]
("Fiona" "is" "big" "+")
triple7
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not rough.
False
1
inv-proof
[(triple9 OR ((triple7) -> rule3) OR ((((triple7) -> rule4)) -> rule1) OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple8) -> rule6)) -> rule8)) -> rule3))]
("Fiona" "is" "rough" "-")
triple9
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is red.
True
2
proof
[(((triple7) -> rule4) OR ((triple8) -> rule6))]
("Fiona" "is" "red" "+")
((triple7) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple7) -> rule4) OR ((triple8) -> rule6))]
("Fiona" "is" "red" "-")
((triple7) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Bob is blue.
True
4
proof
[(((((triple1) -> rule9) triple1) -> rule7))]
("Bob" "is" "blue" "+")
((((triple1) -> (rule9 % int2)) triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not blue.
False
4
inv-proof
[(((((triple1) -> rule9) triple1) -> rule7))]
("Bob" "is" "blue" "-")
((((triple1) -> (rule9 % int2)) triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
True
5
proof
[(((((((triple1) -> rule9) triple1) -> rule7)) -> rule6))]
("Bob" "is" "red" "+")
((((((triple1) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Harry is not young.
False
5
inv-proof
[(((((((triple10) -> rule6)) -> rule8) triple11) -> rule5) OR ((((((triple10) -> rule6)) -> rule8) ((((triple10) -> rule6)) -> rule1)) -> rule5) OR ((((((triple10) -> rule6)) -> rule8) ((((((triple10) -> rule6)) -> rule8)) -> rule3)) -> rule5))]
("Harry" "is" "young" "-")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple10) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Bob is rough.
True
6
proof
[(((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule1) OR ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule3))]
("Bob" "is" "rough" "+")
((((((((triple1) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((((triple1) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is not big.
False
6
inv-proof
[(((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8))]
("Bob" "is" "big" "-")
((((((((triple1) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
True
13
proof
[(((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) ((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5))]
("Bob" "is" "young" "+")
((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Bob is not young.
False
13
inv-proof
[(((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) ((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5))]
("Bob" "is" "young" "-")
((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Harry" "is" "green" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Fiona" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Erin is big.[(triple2 OR ((triple5) -> rule8) OR ((triple6 ((triple3 triple4) -> rule7)) -> rule2) OR ((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) OR ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) OR ((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) OR ((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) OR ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2))] Erin is green.[(triple3 OR ((triple4) -> rule9))] Erin is kind.[(triple4)] Erin is red.[(triple5 OR ((triple2) -> rule4) OR ((((triple3 triple4) -> rule7)) -> rule6) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2)) -> rule4) OR ((((((triple4) -> rule9) triple4) -> rule7)) -> rule6) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2)) -> rule4))] Erin is rough.[(triple6 OR ((triple2) -> rule3) OR ((triple5) -> rule1) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple5) -> rule8)) -> rule3) OR ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3))] Fiona is big.[(triple7 OR ((((triple8) -> rule6)) -> rule8))] Fiona is blue.[(triple8)] Fiona is rough.[(triple9 OR ((triple7) -> rule3) OR ((((triple7) -> rule4)) -> rule1) OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple8) -> rule6)) -> rule8)) -> rule3))] Harry is blue.[(triple10)] Harry is rough.[(triple11 OR ((((triple10) -> rule6)) -> rule1) OR ((((((triple10) -> rule6)) -> rule8)) -> rule3))] @1: Bob is green.[(((triple1) -> rule9))] Erin is blue.[(((triple3 triple4) -> rule7) OR ((((triple4) -> rule9) triple4) -> rule7))] Erin is young.[(((triple2 triple6) -> rule5) OR ((triple2 ((triple2) -> rule3)) -> rule5) OR ((triple2 ((triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule8) triple6) -> rule5) OR ((((triple5) -> rule8) ((triple2) -> rule3)) -> rule5) OR ((((triple5) -> rule8) ((triple5) -> rule1)) -> rule5) OR ((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((triple2 ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((triple5) -> rule8) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple2 ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((triple5) -> rule8) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((triple2) -> rule3)) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((triple5) -> rule1)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((triple2 ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((triple2 ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) triple6) -> rule5) OR ((((triple5) -> rule8) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((triple5) -> rule8) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((triple2) -> rule3)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((triple5) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((triple2 ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((triple5) -> rule8) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((triple6 ((triple3 triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) triple6) -> rule5) OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((triple6 ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((triple5) -> rule1)) -> rule5) OR ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule1) ((((triple4) -> rule9) triple4) -> rule7)) -> rule2) ((((((((((triple4) -> rule9) triple4) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5))] Fiona is red.[(((triple7) -> rule4) OR ((triple8) -> rule6))] Fiona is young.[(((triple7 triple9) -> rule5) OR ((triple7 ((triple7) -> rule3)) -> rule5) OR ((triple7 ((((triple7) -> rule4)) -> rule1)) -> rule5) OR ((triple7 ((((triple8) -> rule6)) -> rule1)) -> rule5) OR ((((((triple8) -> rule6)) -> rule8) triple9) -> rule5) OR ((((((triple8) -> rule6)) -> rule8) ((triple7) -> rule3)) -> rule5) OR ((((((triple8) -> rule6)) -> rule8) ((((triple7) -> rule4)) -> rule1)) -> rule5) OR ((((((triple8) -> rule6)) -> rule8) ((((triple8) -> rule6)) -> rule1)) -> rule5) OR ((triple7 ((((((triple8) -> rule6)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple8) -> rule6)) -> rule8) ((((((triple8) -> rule6)) -> rule8)) -> rule3)) -> rule5))] Harry is red.[(((triple10) -> rule6))] @2: Bob is blue.[(((((triple1) -> rule9) triple1) -> rule7))] Harry is big.[(((((triple10) -> rule6)) -> rule8))] @3: Bob is red.[(((((((triple1) -> rule9) triple1) -> rule7)) -> rule6))] Harry is young.[(((((((triple10) -> rule6)) -> rule8) triple11) -> rule5) OR ((((((triple10) -> rule6)) -> rule8) ((((triple10) -> rule6)) -> rule1)) -> rule5) OR ((((((triple10) -> rule6)) -> rule8) ((((((triple10) -> rule6)) -> rule8)) -> rule3)) -> rule5))] @4: Bob is big.[(((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8))] Bob is rough.[(((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule1) OR ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule3))] @5: Bob is young.[(((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) ((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8) ((((((((((triple1) -> rule9) triple1) -> rule7)) -> rule6)) -> rule8)) -> rule3)) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
((triple5) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple6 ((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple5) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple3 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple6 ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple5) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int2)) triple4) -> (rule7 % int5))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
triple3
((triple4) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
((triple2) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple3 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple6 ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple6 ((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((triple2) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple5) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple3 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((((triple10) -> (rule6 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple3 triple4) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple4) -> (rule9 % int2)) triple4) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((triple2 triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple2 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple2 ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple5) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple2 ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple6 ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple5) -> (rule8 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple5) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple6 ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple6 ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple5) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple6 ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple6 ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple5) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple2) -> (rule3 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple5) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple5) -> (rule1 % int5)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple5) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule8 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((triple2 ((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple6 ((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple5) -> (rule8 % int5)) ((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple6 ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple5) -> (rule1 % int5)) ((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple6 ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple6 ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((triple6 ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple5) -> (rule1 % int5)) ((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple2) -> (rule3 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple5) -> (rule1 % int5)) ((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple6 ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple5) -> (rule1 % int5)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple5) -> (rule1 % int6)) ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((triple5) -> (rule1 % int5)) ((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((((triple5) -> (rule8 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple5) -> (rule1 % int6)) ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule1 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((triple2 ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((triple2 ((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple5) -> (rule8 % int5)) ((((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5) -> (rule8 % int6)) ((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((triple6 ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple6 ((triple3 triple4) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int6))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((triple5) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) ((((((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((triple6 ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((triple6 ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple5) -> (rule1 % int5)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule8 % int3))) -> (rule3 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple5) -> (rule1 % int6)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule1 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((triple5) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((triple2) -> (rule3 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((triple5) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple5) -> (rule1 % int6)) ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((triple5) -> (rule1 % int6)) ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule1 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((((triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((((triple5) -> (rule8 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int6))) -> (rule2 % int3)) ((((((((triple4) -> (rule9 % int2)) triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule8 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((((((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((triple2 ((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((triple5) -> (rule8 % int6)) ((((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((triple6 ((triple3 triple4) -> (rule7 % int6))) -> (rule2 % int5)) ((((((((((triple4) -> (rule9 % int4)) triple4) -> (rule7 % int6))) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((triple5) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) ((((((((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((triple6 ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple5) -> (rule1 % int6)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((((((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule8 % int4))) -> (rule3 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((triple5) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((triple5) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple5) -> (rule1 % int6)) ((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((((((((triple4) -> (rule9 % int5)) triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule8 % int3))) -> (rule3 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((triple5) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int6))) -> (rule2 % int3)) ((((((((((triple4) -> (rule9 % int2)) triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule8 % int3))) -> (rule3 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((triple3 triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule2 % int2)) ((((((((((triple4) -> (rule9 % int3)) triple4) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule8 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule2 % int2)) ((((((((((triple4) -> (rule9 % int6)) triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple7 triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple7 ((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple7 ((((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2)) triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule6 % int4))) -> (rule8 % int3)) ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple7 ((((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple8) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1) -> (rule9 % int2)) triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((((triple1) -> (rule9 % int3)) triple1) -> (rule7 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple10) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple10) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
((((((((triple1) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((((((((triple1) -> (rule9 % int4)) triple1) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((((triple1) -> (rule9 % int5)) triple1) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((((triple1) -> (rule9 % int6)) triple1) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6