Anne is big. Anne is furry. Anne is rough. Anne is smart. Anne is young. Charlie is big. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. Erin is furry. Erin is nice. Erin is rough. Gary is furry. If Erin is nice then Erin is green. If something is furry then it is young. If something is green then it is smart. Young things are rough. All young, smart things are nice. All big, nice things are green. If Erin is smart and Erin is green then Erin is nice. Big, young things are nice. Young, furry things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Erin is nice then Erin is green.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "green" "+"))
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is green then it is smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All young, smart things are nice.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
All big, nice things are green.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If Erin is smart and Erin is green then Erin is nice.
((("Erin" "is" "smart" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "nice" "+"))
Big, young things are nice.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Young, furry things are big.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Charlie is green.
True
1
proof
[(triple8 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple12 triple11) -> rule5)) -> rule6) OR ((triple6 ((triple6 triple12) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) triple9) -> rule6) OR ((((triple12 triple7) -> rule9) ((triple12 triple11) -> rule5)) -> rule6) OR ((((triple12 triple7) -> rule9) ((triple6 triple12) -> rule8)) -> rule6) OR ((triple6 ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((triple6 ((((triple7) -> rule2) triple11) -> rule5)) -> rule6) OR ((triple6 ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) triple9) -> rule6) OR ((triple6 ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((triple7) -> rule2) triple11) -> rule5)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((triple12 triple11) -> rule5)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((triple6 triple12) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((triple7) -> rule2) triple11) -> rule5)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((triple6 ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((triple6 ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6))]
("Charlie" "is" "green" "+")
triple8
((triple6 triple9) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple6 ((triple12 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple6 ((triple6 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple12 triple7) -> (rule9 % int2)) triple9) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple12 triple7) -> (rule9 % int3)) ((triple12 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple12 triple7) -> (rule9 % int3)) ((triple6 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple6 ((triple6 ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple6 ((((triple7) -> (rule2 % int3)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple6 ((((triple12 triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int2)) triple9) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple6 ((((triple12 triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((triple6 ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((triple7) -> (rule2 % int3)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int3)) ((((triple12 triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple12 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple6 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((triple12 triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple6 ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((triple7) -> (rule2 % int4)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((triple12 triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((triple12 triple7) -> (rule9 % int3)) ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple6 ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple6 ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int4)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Anne is not rough.
False
1
inv-proof
[(triple3 OR ((triple5) -> rule4) OR ((((triple2) -> rule2)) -> rule4))]
("Anne" "is" "rough" "-")
triple3
((triple5) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Erin is young.
True
2
proof
[(((triple13) -> rule2))]
("Erin" "is" "young" "+")
((triple13) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple14) -> rule1) OR ((((((triple13) -> rule2) triple13) -> rule9) triple14) -> rule6) OR ((((((((triple13) -> rule2) triple13) -> rule9) ((triple13) -> rule2)) -> rule8)) -> rule1) OR ((((((triple13) -> rule2) triple13) -> rule9) ((((((triple13) -> rule2) triple13) -> rule9) ((triple13) -> rule2)) -> rule8)) -> rule6))]
("Erin" "is" "green" "-")
((triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((((triple13) -> (rule2 % int3)) triple13) -> (rule9 % int2)) triple14) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple13) -> (rule2 % int4)) triple13) -> (rule9 % int3)) ((triple13) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple13) -> (rule2 % int4)) triple13) -> (rule9 % int3)) ((((((triple13) -> (rule2 % int4)) triple13) -> (rule9 % int3)) ((triple13) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Gary is big.
True
4
proof
[(((((triple16) -> rule2) triple16) -> rule9))]
("Gary" "is" "big" "+")
((((triple16) -> (rule2 % int2)) triple16) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Erin is not big.
False
4
inv-proof
[(((((triple13) -> rule2) triple13) -> rule9))]
("Erin" "is" "big" "-")
((((triple13) -> (rule2 % int2)) triple13) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is nice.
True
7
proof
[(((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8))]
("Gary" "is" "nice" "+")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule9 % int2)) ((triple16) -> (rule2 % int3))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not nice.
False
7
inv-proof
[(((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8))]
("Gary" "is" "nice" "-")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule9 % int2)) ((triple16) -> (rule2 % int3))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
True
12
proof
[(((((((triple16) -> rule2) triple16) -> rule9) ((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8)) -> rule6))]
("Gary" "is" "green" "+")
((((((triple16) -> (rule2 % int4)) triple16) -> (rule9 % int3)) ((((((triple16) -> (rule2 % int4)) triple16) -> (rule9 % int3)) ((triple16) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not green.
False
12
inv-proof
[(((((((triple16) -> rule2) triple16) -> rule9) ((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8)) -> rule6))]
("Gary" "is" "green" "-")
((((((triple16) -> (rule2 % int4)) triple16) -> (rule9 % int3)) ((((((triple16) -> (rule2 % int4)) triple16) -> (rule9 % int3)) ((triple16) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is smart.
True
13
proof
[(((((((((triple16) -> rule2) triple16) -> rule9) ((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8)) -> rule6)) -> rule3))]
("Gary" "is" "smart" "+")
((((((((triple16) -> (rule2 % int5)) triple16) -> (rule9 % int4)) ((((((triple16) -> (rule2 % int5)) triple16) -> (rule9 % int4)) ((triple16) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is not smart.
False
13
inv-proof
[(((((((((triple16) -> rule2) triple16) -> rule9) ((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8)) -> rule6)) -> rule3))]
("Gary" "is" "smart" "-")
((((((((triple16) -> (rule2 % int5)) triple16) -> (rule9 % int4)) ((((((triple16) -> (rule2 % int5)) triple16) -> (rule9 % int4)) ((triple16) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule9) OR ((((triple2) -> rule2) triple2) -> rule9))] Anne is furry.[(triple2)] Anne is rough.[(triple3 OR ((triple5) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Anne is smart.[(triple4 OR ((((triple1 ((triple1 triple5) -> rule8)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule9) ((triple1 triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple1 ((triple1 ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple1 ((((triple5 triple2) -> rule9) triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple1 ((((triple5 triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule9) ((triple1 ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule9) ((((triple5 triple2) -> rule9) triple5) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule2) triple2) -> rule9) ((triple1 triple5) -> rule8)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule9) ((((triple5 triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule2) triple2) -> rule9) ((triple1 ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule2) triple2) -> rule9) ((((triple5 triple2) -> rule9) triple5) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule2) triple2) -> rule9) ((((triple5 triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple2) -> rule2) triple2) -> rule9) triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple2) -> rule2) triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) triple5) -> rule8)) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule2) triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) triple5) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple2) -> rule2) triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6)) -> rule3))] Anne is young.[(triple5 OR ((triple2) -> rule2))] Charlie is big.[(triple6 OR ((triple12 triple7) -> rule9) OR ((((triple7) -> rule2) triple7) -> rule9))] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple12 triple11) -> rule5)) -> rule6) OR ((triple6 ((triple6 triple12) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) triple9) -> rule6) OR ((((triple12 triple7) -> rule9) ((triple12 triple11) -> rule5)) -> rule6) OR ((((triple12 triple7) -> rule9) ((triple6 triple12) -> rule8)) -> rule6) OR ((triple6 ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((triple6 ((((triple7) -> rule2) triple11) -> rule5)) -> rule6) OR ((triple6 ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) triple9) -> rule6) OR ((triple6 ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((triple7) -> rule2) triple11) -> rule5)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((triple12 triple11) -> rule5)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((triple6 triple12) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((triple7) -> rule2) triple11) -> rule5)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((triple6 ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((triple6 ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((triple12 triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6))] Charlie is nice.[(triple9 OR ((triple12 triple11) -> rule5) OR ((triple6 triple12) -> rule8) OR ((triple12 ((triple8) -> rule3)) -> rule5) OR ((triple6 ((triple7) -> rule2)) -> rule8) OR ((((triple7) -> rule2) triple11) -> rule5) OR ((((triple12 triple7) -> rule9) triple12) -> rule8) OR ((((triple7) -> rule2) ((triple8) -> rule3)) -> rule5) OR ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8) OR ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8) OR ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8))] Charlie is rough.[(triple10 OR ((triple12) -> rule4) OR ((((triple7) -> rule2)) -> rule4))] Charlie is smart.[(triple11 OR ((triple8) -> rule3) OR ((((triple6 triple9) -> rule6)) -> rule3) OR ((((triple6 ((triple6 triple12) -> rule8)) -> rule6)) -> rule3) OR ((((((triple12 triple7) -> rule9) triple9) -> rule6)) -> rule3) OR ((((((triple12 triple7) -> rule9) ((triple6 triple12) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule2) triple7) -> rule9) triple9) -> rule6)) -> rule3) OR ((((triple6 ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple12 triple7) -> rule9) ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple12 triple7) -> rule9) ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule2) triple7) -> rule9) ((triple6 triple12) -> rule8)) -> rule6)) -> rule3) OR ((((((triple12 triple7) -> rule9) ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule2) triple7) -> rule9) ((triple6 ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule2) triple7) -> rule9) ((((triple12 triple7) -> rule9) triple12) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule2) triple7) -> rule9) ((((triple12 triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((triple12 triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6)) -> rule3) OR ((((((triple12 triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule2) triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) triple12) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule2) triple7) -> rule9) ((((((triple7) -> rule2) triple7) -> rule9) ((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3))] Charlie is young.[(triple12 OR ((triple7) -> rule2))] Erin is furry.[(triple13)] Erin is nice.[(triple14 OR ((((((triple13) -> rule2) triple13) -> rule9) ((triple13) -> rule2)) -> rule8))] Erin is rough.[(triple15 OR ((((triple13) -> rule2)) -> rule4))] Gary is furry.[(triple16)] @1: Anne is nice.[(((triple1 triple5) -> rule8) OR ((triple5 triple4) -> rule5) OR ((triple1 ((triple2) -> rule2)) -> rule8) OR ((((triple2) -> rule2) triple4) -> rule5) OR ((((triple5 triple2) -> rule9) triple5) -> rule8) OR ((((triple5 triple2) -> rule9) ((triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule2) triple2) -> rule9) triple5) -> rule8) OR ((((((triple2) -> rule2) triple2) -> rule9) ((triple2) -> rule2)) -> rule8))] Erin is green.[(((triple14) -> rule1) OR ((((((triple13) -> rule2) triple13) -> rule9) triple14) -> rule6) OR ((((((((triple13) -> rule2) triple13) -> rule9) ((triple13) -> rule2)) -> rule8)) -> rule1) OR ((((((triple13) -> rule2) triple13) -> rule9) ((((((triple13) -> rule2) triple13) -> rule9) ((triple13) -> rule2)) -> rule8)) -> rule6))] Erin is young.[(((triple13) -> rule2))] Gary is young.[(((triple16) -> rule2))] @2: Anne is green.[(((triple1 ((triple1 triple5) -> rule8)) -> rule6) OR ((triple1 ((triple5 triple4) -> rule5)) -> rule6) OR ((((triple5 triple2) -> rule9) ((triple1 triple5) -> rule8)) -> rule6) OR ((((triple5 triple2) -> rule9) ((triple5 triple4) -> rule5)) -> rule6) OR ((triple1 ((triple1 ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((triple1 ((((triple2) -> rule2) triple4) -> rule5)) -> rule6) OR ((triple1 ((((triple5 triple2) -> rule9) triple5) -> rule8)) -> rule6) OR ((triple1 ((((triple5 triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((((triple5 triple2) -> rule9) ((triple1 ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((((triple5 triple2) -> rule9) ((((triple2) -> rule2) triple4) -> rule5)) -> rule6) OR ((((triple5 triple2) -> rule9) ((((triple5 triple2) -> rule9) triple5) -> rule8)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((triple1 triple5) -> rule8)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((triple5 triple4) -> rule5)) -> rule6) OR ((((triple5 triple2) -> rule9) ((((triple5 triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((triple1 ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((((triple2) -> rule2) triple4) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((((triple5 triple2) -> rule9) triple5) -> rule8)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((((triple5 triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((triple1 ((((((triple2) -> rule2) triple2) -> rule9) triple5) -> rule8)) -> rule6) OR ((triple1 ((((((triple2) -> rule2) triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((((triple5 triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) triple5) -> rule8)) -> rule6) OR ((((triple5 triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) triple5) -> rule8)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule9) ((((((triple2) -> rule2) triple2) -> rule9) ((triple2) -> rule2)) -> rule8)) -> rule6))] Erin is big.[(((((triple13) -> rule2) triple13) -> rule9))] Erin is smart.[(((((triple14) -> rule1)) -> rule3) OR ((((((((triple13) -> rule2) triple13) -> rule9) triple14) -> rule6)) -> rule3) OR ((((((((((triple13) -> rule2) triple13) -> rule9) ((triple13) -> rule2)) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple13) -> rule2) triple13) -> rule9) ((((((triple13) -> rule2) triple13) -> rule9) ((triple13) -> rule2)) -> rule8)) -> rule6)) -> rule3))] Gary is big.[(((((triple16) -> rule2) triple16) -> rule9))] Gary is rough.[(((((triple16) -> rule2)) -> rule4))] @3: Gary is nice.[(((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8))] @4: Gary is green.[(((((((triple16) -> rule2) triple16) -> rule9) ((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8)) -> rule6))] @5: Gary is smart.[(((((((((triple16) -> rule2) triple16) -> rule9) ((((((triple16) -> rule2) triple16) -> rule9) ((triple16) -> rule2)) -> rule8)) -> rule6)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple5 triple2) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule2 % int2)) triple2) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple5) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((((triple1 ((triple1 triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple5 triple2) -> (rule9 % int4)) ((triple1 triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 ((triple1 ((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple1 ((((triple5 triple2) -> (rule9 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1 ((((triple5 triple2) -> (rule9 % int5)) ((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple5 triple2) -> (rule9 % int5)) ((triple1 ((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple5 triple2) -> (rule9 % int4)) ((((triple5 triple2) -> (rule9 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((triple1 triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple5 triple2) -> (rule9 % int5)) ((((triple5 triple2) -> (rule9 % int5)) ((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((triple1 ((triple2) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((((triple5 triple2) -> (rule9 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((((triple5 triple2) -> (rule9 % int4)) ((triple2) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple1 ((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple1 ((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((triple2) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple5 triple2) -> (rule9 % int5)) ((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int5)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple5 triple2) -> (rule9 % int5)) ((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int5)) ((triple2) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((((((triple2) -> (rule2 % int5)) triple2) -> (rule9 % int4)) ((triple2) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
((triple12 triple7) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple7) -> (rule2 % int2)) triple7) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple6 triple9) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple6 ((triple12 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple6 ((triple6 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple12 triple7) -> (rule9 % int2)) triple9) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple12 triple7) -> (rule9 % int3)) ((triple12 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple12 triple7) -> (rule9 % int3)) ((triple6 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple6 ((triple6 ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple6 ((((triple7) -> (rule2 % int3)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple6 ((((triple12 triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int2)) triple9) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple6 ((((triple12 triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((triple6 ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((triple7) -> (rule2 % int3)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int3)) ((((triple12 triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple12 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple6 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((triple12 triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple6 ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((triple7) -> (rule2 % int4)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((triple12 triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((triple12 triple7) -> (rule9 % int3)) ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple6 ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple6 ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int4)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple12 triple7) -> (rule9 % int4)) ((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) ((triple7) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
((triple12 triple11) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6 triple12) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple12 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple6 ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple7) -> (rule2 % int2)) triple11) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple12 triple7) -> (rule9 % int2)) triple12) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple12 triple7) -> (rule9 % int3)) ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int2)) triple12) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple7) -> (rule2 % int3)) triple7) -> (rule9 % int2)) ((triple7) -> (rule2 % int3))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
((triple12) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
((triple8) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple6 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple6 ((triple6 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple12 triple7) -> (rule9 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple12 triple7) -> (rule9 % int4)) ((triple6 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple6 ((triple6 ((triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple6 ((((triple12 triple7) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple6 ((((triple12 triple7) -> (rule9 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple12 triple7) -> (rule9 % int5)) ((triple6 ((triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple12 triple7) -> (rule9 % int4)) ((((triple12 triple7) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((triple6 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((triple12 triple7) -> (rule9 % int5)) ((((triple12 triple7) -> (rule9 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((triple6 ((triple7) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((((triple12 triple7) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((((triple12 triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((triple6 ((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((triple6 ((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((triple12 triple7) -> (rule9 % int5)) ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int5)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple12 triple7) -> (rule9 % int5)) ((((((triple7) -> (rule2 % int4)) triple7) -> (rule9 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((((((triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4)) ((triple7) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
triple12
((triple7) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
((((((triple13) -> (rule2 % int3)) triple13) -> (rule9 % int2)) ((triple13) -> (rule2 % int3))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple15
((((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple16
Anne is nice.
("Anne" "is" "nice" "+")
((triple1 triple5) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple5 triple4) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple5 triple2) -> (rule9 % int2)) triple5) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple5 triple2) -> (rule9 % int3)) ((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int3)) triple2) -> (rule9 % int2)) triple5) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2) -> (rule2 % int3)) triple2) -> (rule9 % int2)) ((triple2) -> (rule2 % int3))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((((triple13) -> (rule2 % int3)) triple13) -> (rule9 % int2)) triple14) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple13) -> (rule2 % int4)) triple13) -> (rule9 % int3)) ((triple13) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple13) -> (rule2 % int4)) triple13) -> (rule9 % int3)) ((((((triple13) -> (rule2 % int4)) triple13) -> (rule9 % int3)) ((triple13) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((triple13) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple1 ((triple1 triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple1 ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple5 triple2) -> (rule9 % int3)) ((triple1 triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple5 triple2) -> (rule9 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((triple1 ((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple1 ((((triple2) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple1 ((((triple5 triple2) -> (rule9 % int3)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple5 triple2) -> (rule9 % int4)) ((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple5 triple2) -> (rule9 % int4)) ((triple1 ((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple5 triple2) -> (rule9 % int4)) ((((triple2) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple5 triple2) -> (rule9 % int3)) ((((triple5 triple2) -> (rule9 % int3)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((triple1 triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple5 triple2) -> (rule9 % int4)) ((((triple5 triple2) -> (rule9 % int4)) ((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((triple1 ((triple2) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((((triple2) -> (rule2 % int4)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((((triple5 triple2) -> (rule9 % int3)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((((triple5 triple2) -> (rule9 % int3)) ((triple2) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((triple1 ((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((triple1 ((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((triple2) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple5 triple2) -> (rule9 % int4)) ((((((triple2) -> (rule2 % int3)) triple2) -> (rule9 % int4)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple5 triple2) -> (rule9 % int4)) ((((((triple2) -> (rule2 % int3)) triple2) -> (rule9 % int4)) ((triple2) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((((((triple2) -> (rule2 % int4)) triple2) -> (rule9 % int3)) ((triple2) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((((triple13) -> (rule2 % int2)) triple13) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((((triple13) -> (rule2 % int4)) triple13) -> (rule9 % int3)) triple14) -> (rule6 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule9 % int4)) ((triple13) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple13) -> (rule2 % int5)) triple13) -> (rule9 % int4)) ((((((triple13) -> (rule2 % int5)) triple13) -> (rule9 % int4)) ((triple13) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
((((triple16) -> (rule2 % int2)) triple16) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple16) -> (rule2 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule9 % int2)) ((triple16) -> (rule2 % int3))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple16) -> (rule2 % int4)) triple16) -> (rule9 % int3)) ((((((triple16) -> (rule2 % int4)) triple16) -> (rule9 % int3)) ((triple16) -> (rule2 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((((((((triple16) -> (rule2 % int5)) triple16) -> (rule9 % int4)) ((((((triple16) -> (rule2 % int5)) triple16) -> (rule9 % int4)) ((triple16) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5