Anne is green. Anne is smart. Anne is young. Erin is cold. Erin is rough. Erin is round. Erin is smart. Erin is young. Gary is young. Harry is green. Harry is kind. Kind, young things are cold. If something is round then it is cold. Young things are smart. If something is smart then it is young. If something is young and smart then it is round. All smart, cold things are rough. Kind things are green. Smart, rough things are kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Kind, young things are cold.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is round then it is cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is young and smart then it is round.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All smart, cold things are rough.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Smart, rough things are kind.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Erin is smart.
True
1
proof
[(triple7 OR ((triple8) -> rule3))]
("Erin" "is" "smart" "+")
triple7
((triple8) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not young.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule4))]
("Erin" "is" "young" "-")
triple8
((triple7) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is round.
True
3
proof
[(((triple3 triple2) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule5) OR ((((triple2) -> rule4) triple2) -> rule5) OR ((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5))]
("Anne" "is" "round" "+")
((triple3 triple2) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple3 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Erin is not kind.
False
3
inv-proof
[(((triple7 triple5) -> rule8) OR ((triple7 ((triple7 triple4) -> rule6)) -> rule8) OR ((((triple8) -> rule3) triple5) -> rule8) OR ((((triple8) -> rule3) ((triple7 triple4) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) triple4) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple4) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8))]
("Erin" "is" "kind" "-")
((triple7 triple5) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple7 ((triple7 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple8) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple7 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple7 ((triple7 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple7 ((((triple8) -> (rule3 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple7 ((((triple8) -> (rule3 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8) -> (rule3 % int4)) ((triple7 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8) -> (rule3 % int3)) ((((triple8) -> (rule3 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple8) -> (rule3 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple7 ((triple7 ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple7 ((((triple8) -> (rule3 % int5)) ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple7 ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((((triple8) -> (rule3 % int5)) ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple7 ((triple7 ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple7 ((triple7 ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple7 ((triple7 ((((((triple7) -> (rule4 % int6)) ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((triple7 ((((triple8) -> (rule3 % int5)) ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple7 ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int5)) ((triple7 ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int6)) ((triple7 ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((triple7 ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) ((triple8) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((triple7 ((((((triple7) -> (rule4 % int5)) ((triple8) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int5)) ((((triple8) -> (rule3 % int5)) ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int6)) ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) ((triple8) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
Gary is round.
True
4
proof
[(((triple9 ((triple9) -> rule3)) -> rule5))]
("Gary" "is" "round" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Anne is not cold.
False
4
inv-proof
[(((((triple3 triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2))]
("Anne" "is" "cold" "-")
((((triple3 triple2) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3 ((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2) -> (rule4 % int4)) ((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Gary is cold.
True
5
proof
[(((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2))]
("Gary" "is" "cold" "+")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Anne is not rough.
False
6
inv-proof
[(((triple2 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6) OR ((triple2 ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple2 ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6) OR ((triple2 ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6))]
("Anne" "is" "rough" "-")
((triple2 ((((triple3 triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple3) -> (rule3 % int4)) ((((triple3 triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((triple2 ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((triple2 ((((((triple2) -> (rule4 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((triple2 ((((((triple2) -> (rule4 % int5)) ((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple3) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple3) -> (rule3 % int5)) ((((((triple2) -> (rule4 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((triple2) -> (rule4 % int4)) ((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Gary is rough.
True
8
proof
[(((((triple9) -> rule3) ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule6))]
("Gary" "is" "rough" "+")
((((triple9) -> (rule3 % int4)) ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is not rough.
False
8
inv-proof
[(((((triple9) -> rule3) ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule6))]
("Gary" "is" "rough" "-")
((((triple9) -> (rule3 % int4)) ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
True
11
proof
[(((((triple9) -> rule3) ((((triple9) -> rule3) ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8))]
("Gary" "is" "kind" "+")
((((triple9) -> (rule3 % int5)) ((((triple9) -> (rule3 % int5)) ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is not kind.
False
11
inv-proof
[(((((triple9) -> rule3) ((((triple9) -> rule3) ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8))]
("Gary" "is" "kind" "-")
((((triple9) -> (rule3 % int5)) ((((triple9) -> (rule3 % int5)) ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Harry is not smart.
Unknown
inv-rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is rough.
Unknown
rconc
[@3: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not round.
Unknown
inv-rconc
[@3: Harry is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is cold.
Unknown
rconc
[@4: Harry is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule4 <- rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is green.[(triple1 OR ((((triple2 ((triple2 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple2 ((((triple3) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((triple2 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((((triple3) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple2 ((triple2 ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple2 ((triple2 ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple2 ((triple2 ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple2 ((((triple3) -> rule3) ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple2 ((((triple3) -> rule3) ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((triple2 ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((triple2 ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple2 ((((triple3) -> rule3) ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((triple2 ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((((triple3) -> rule3) ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((((triple3) -> rule3) ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple3) -> rule3) ((((triple3) -> rule3) ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7))] Anne is smart.[(triple2 OR ((triple3) -> rule3))] Anne is young.[(triple3 OR ((triple2) -> rule4))] Erin is cold.[(triple4 OR ((triple6) -> rule2) OR ((((triple8 triple7) -> rule5)) -> rule2) OR ((((triple7 triple5) -> rule8) triple8) -> rule1) OR ((((triple7 triple5) -> rule8) ((triple7) -> rule4)) -> rule1) OR ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2) OR ((((((triple8) -> rule3) triple5) -> rule8) triple8) -> rule1) OR ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple8) -> rule3) triple5) -> rule8) ((triple7) -> rule4)) -> rule1))] Erin is rough.[(triple5 OR ((triple7 triple4) -> rule6) OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((((triple8) -> rule3) triple4) -> rule6) OR ((((triple8) -> rule3) ((triple6) -> rule2)) -> rule6) OR ((triple7 ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6) OR ((((triple8) -> rule3) ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6) OR ((triple7 ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple7 ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6) OR ((triple7 ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((((triple8) -> rule3) ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((((triple8) -> rule3) ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6) OR ((((triple8) -> rule3) ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6))] Erin is round.[(triple6 OR ((triple8 triple7) -> rule5) OR ((triple8 ((triple8) -> rule3)) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule5) OR ((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5))] Erin is smart.[(triple7 OR ((triple8) -> rule3))] Erin is young.[(triple8 OR ((triple7) -> rule4))] Gary is young.[(triple9)] Harry is green.[(triple10 OR ((triple11) -> rule7))] Harry is kind.[(triple11)] @1: Anne is round.[(((triple3 triple2) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule5) OR ((((triple2) -> rule4) triple2) -> rule5) OR ((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5))] Erin is kind.[(((triple7 triple5) -> rule8) OR ((triple7 ((triple7 triple4) -> rule6)) -> rule8) OR ((((triple8) -> rule3) triple5) -> rule8) OR ((((triple8) -> rule3) ((triple7 triple4) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) triple4) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple4) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((triple6) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((triple7 ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple7 ((((triple8) -> rule3) ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((triple7 ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple8) -> rule3) ((((triple8) -> rule3) ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8))] Gary is smart.[(((triple9) -> rule3))] @2: Anne is cold.[(((((triple3 triple2) -> rule5)) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2))] Erin is green.[(((((triple7 triple5) -> rule8)) -> rule7) OR ((((triple7 ((triple7 triple4) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) triple5) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((triple7 triple4) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((triple7 ((triple6) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((((triple8) -> rule3) triple4) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((((triple8) -> rule3) ((triple6) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((triple7 ((triple6) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((((triple8) -> rule3) triple4) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((((triple8) -> rule3) ((triple6) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((triple7 ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((((triple8) -> rule3) ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((triple7 ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((((triple8) -> rule3) ((((triple8 triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((triple7 ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((triple7 ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((triple7 ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((((triple8) -> rule3) ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((((triple8) -> rule3) ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((triple7 ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((triple7 ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((triple7 ((((triple8) -> rule3) ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((triple7 ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((((triple8) -> rule3) ((((triple8 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((((triple8) -> rule3) ((((((triple7) -> rule4) triple7) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7) OR ((((((triple8) -> rule3) ((((triple8) -> rule3) ((((((triple7) -> rule4) ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7))] Gary is round.[(((triple9 ((triple9) -> rule3)) -> rule5))] @3: Anne is rough.[(((triple2 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6) OR ((triple2 ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple2 ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6) OR ((triple2 ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6))] Gary is cold.[(((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2))] @4: Anne is kind.[(((triple2 ((triple2 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple2 ((((triple3) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((triple2 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((((triple3) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple2 ((triple2 ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple2 ((triple2 ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple2 ((triple2 ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple2 ((((triple3) -> rule3) ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple2 ((((triple3) -> rule3) ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((triple2 ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((triple2 ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((triple2 ((((triple3) -> rule3) ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((triple2 ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((((triple3) -> rule3) ((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((((triple3) -> rule3) ((((((triple2) -> rule4) triple2) -> rule5)) -> rule2)) -> rule6)) -> rule8) OR ((((triple3) -> rule3) ((((triple3) -> rule3) ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8))] Gary is rough.[(((((triple9) -> rule3) ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule6))] @5: Gary is kind.[(((((triple9) -> rule3) ((((triple9) -> rule3) ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8))] @6: Gary is green.[(((((((triple9) -> rule3) ((((triple9) -> rule3) ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule6)) -> rule8)) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((((triple2 ((triple2 ((((triple3 triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 ((((triple3) -> (rule3 % int6)) ((((triple3 triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2 ((((triple3 triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6)) ((((triple3 triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple2 ((triple2 ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple2 ((triple2 ((((((triple2) -> (rule4 % int6)) triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((triple2 ((triple2 ((((((triple2) -> (rule4 % int7)) ((triple3) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((triple2 ((((triple3) -> (rule3 % int6)) ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple2 ((((triple3) -> (rule3 % int7)) ((((((triple2) -> (rule4 % int6)) triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
int7
((((((triple3) -> (rule3 % int6)) ((triple2 ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((triple3) -> (rule3 % int7)) ((triple2 ((((((triple2) -> (rule4 % int6)) triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
int7
((((triple2 ((((triple3) -> (rule3 % int7)) ((((((triple2) -> (rule4 % int6)) ((triple3) -> (rule3 % int7))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
int7
((((((triple3) -> (rule3 % int7)) ((triple2 ((((((triple2) -> (rule4 % int6)) ((triple3) -> (rule3 % int7))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
int7
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6)) ((((triple3 ((triple3) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((triple3) -> (rule3 % int7)) ((((triple3) -> (rule3 % int7)) ((((((triple2) -> (rule4 % int6)) triple2) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
int7
((((((triple3) -> (rule3 % int7)) ((((triple3) -> (rule3 % int7)) ((((((triple2) -> (rule4 % int6)) ((triple3) -> (rule3 % int7))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
int7
Anne is smart.
("Anne" "is" "smart" "+")
triple2
((triple3) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple6) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple8 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple7 triple5) -> (rule8 % int2)) triple8) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple7 triple5) -> (rule8 % int3)) ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple8 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule4 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple8) -> (rule3 % int3)) triple5) -> (rule8 % int2)) triple8) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule4 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple8) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
((triple7 triple4) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple7 ((((triple8 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple8 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple7 ((((triple8 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple7 ((((((triple7) -> (rule4 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((triple7 ((((((triple7) -> (rule4 % int5)) ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple8) -> (rule3 % int4)) ((((triple8 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8) -> (rule3 % int5)) ((((((triple7) -> (rule4 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((((((triple7) -> (rule4 % int4)) ((triple8) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
triple6
((triple8 triple7) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple7) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple7
((triple8) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple8
((triple7) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple11) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Anne is round.
("Anne" "is" "round" "+")
((triple3 triple2) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple3 ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((triple7 triple5) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple7 ((triple7 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple8) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple7 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple7 ((triple7 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple7 ((((triple8) -> (rule3 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple7 ((((triple8) -> (rule3 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8) -> (rule3 % int4)) ((triple7 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8) -> (rule3 % int3)) ((((triple8) -> (rule3 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple8) -> (rule3 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple7 ((triple7 ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple7 ((((triple8) -> (rule3 % int5)) ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((triple7 ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int5)) ((((triple8) -> (rule3 % int5)) ((((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple7 ((triple7 ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple7 ((triple7 ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple7 ((triple7 ((((((triple7) -> (rule4 % int6)) ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((triple7 ((((triple8) -> (rule3 % int5)) ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple7 ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int5)) ((triple7 ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int6)) ((triple7 ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((triple7 ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) ((triple8) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((triple7 ((((((triple7) -> (rule4 % int5)) ((triple8) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int5)) ((((triple8) -> (rule3 % int5)) ((((triple8 ((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple8) -> (rule3 % int6)) ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple8) -> (rule3 % int6)) ((((triple8) -> (rule3 % int6)) ((((((triple7) -> (rule4 % int5)) ((triple8) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
Gary is smart.
("Gary" "is" "smart" "+")
((triple9) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple3 triple2) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3 ((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2) -> (rule4 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2) -> (rule4 % int4)) ((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
((((triple7 triple5) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple7 ((triple7 triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple8) -> (rule3 % int3)) triple5) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int4)) ((triple7 triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple7 ((triple7 ((triple6) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple7 ((((triple8) -> (rule3 % int4)) triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple7 ((((triple8) -> (rule3 % int5)) ((triple6) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8) -> (rule3 % int5)) ((triple7 ((triple6) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8) -> (rule3 % int4)) ((((triple8) -> (rule3 % int4)) triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple8) -> (rule3 % int5)) ((((triple8) -> (rule3 % int5)) ((triple6) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple7 ((triple7 ((((triple8 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((triple7 ((((triple8) -> (rule3 % int6)) ((((triple8 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple8) -> (rule3 % int6)) ((triple7 ((((triple8 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple8) -> (rule3 % int6)) ((((triple8) -> (rule3 % int6)) ((((triple8 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple7 ((triple7 ((((triple8 ((triple8) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple7 ((triple7 ((((((triple7) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((triple7 ((triple7 ((((((triple7) -> (rule4 % int7)) ((triple8) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
Erin is young.
("Erin" "is" "young" "+")
int7
((((triple7 ((((triple8) -> (rule3 % int6)) ((((triple8 ((triple8) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple7 ((((triple8) -> (rule3 % int7)) ((((((triple7) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple8) -> (rule3 % int6)) ((triple7 ((((triple8 ((triple8) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple8) -> (rule3 % int7)) ((triple7 ((((((triple7) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((triple7 ((((triple8) -> (rule3 % int7)) ((((((triple7) -> (rule4 % int6)) ((triple8) -> (rule3 % int7))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple8) -> (rule3 % int7)) ((triple7 ((((((triple7) -> (rule4 % int6)) ((triple8) -> (rule3 % int7))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple8) -> (rule3 % int6)) ((((triple8) -> (rule3 % int6)) ((((triple8 ((triple8) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple8) -> (rule3 % int7)) ((((triple8) -> (rule3 % int7)) ((((((triple7) -> (rule4 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple8) -> (rule3 % int7)) ((((triple8) -> (rule3 % int7)) ((((((triple7) -> (rule4 % int6)) ((triple8) -> (rule3 % int7))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
Gary is round.
("Gary" "is" "round" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 ((((triple3 triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple3) -> (rule3 % int4)) ((((triple3 triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((triple2 ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((triple2 ((((((triple2) -> (rule4 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((triple2 ((((((triple2) -> (rule4 % int5)) ((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple3) -> (rule3 % int4)) ((((triple3 ((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple3) -> (rule3 % int5)) ((((((triple2) -> (rule4 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((triple2) -> (rule4 % int4)) ((triple3) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Gary is cold.
("Gary" "is" "cold" "+")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((triple2 ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple2 ((((triple3) -> (rule3 % int5)) ((((triple3 triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3) -> (rule3 % int5)) ((triple2 ((((triple3 triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3) -> (rule3 % int5)) ((((triple3) -> (rule3 % int5)) ((((triple3 triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((triple2 ((triple2 ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((triple2 ((triple2 ((((((triple2) -> (rule4 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((triple2 ((triple2 ((((((triple2) -> (rule4 % int6)) ((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((triple2 ((((triple3) -> (rule3 % int5)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((triple2 ((((triple3) -> (rule3 % int6)) ((((((triple2) -> (rule4 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3) -> (rule3 % int5)) ((triple2 ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3) -> (rule3 % int6)) ((triple2 ((((((triple2) -> (rule4 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((triple2 ((((triple3) -> (rule3 % int6)) ((((((triple2) -> (rule4 % int5)) ((triple3) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3) -> (rule3 % int6)) ((triple2 ((((((triple2) -> (rule4 % int5)) ((triple3) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3) -> (rule3 % int5)) ((((triple3) -> (rule3 % int5)) ((((triple3 ((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6)) ((((((triple2) -> (rule4 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6)) ((((((triple2) -> (rule4 % int5)) ((triple3) -> (rule3 % int6))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
Gary is rough.
("Gary" "is" "rough" "+")
((((triple9) -> (rule3 % int4)) ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((triple9) -> (rule3 % int5)) ((((triple9) -> (rule3 % int5)) ((((triple9 ((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
((((((triple9) -> (rule3 % int6)) ((((triple9) -> (rule3 % int6)) ((((triple9 ((triple9) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6