Anne is cold. Erin is big. Erin is cold. Erin is kind. Gary is cold. Harry is cold. Harry is young. If someone is young then they are cold. If someone is green and kind then they are young. If someone is green then they are big. Young, blue people are nice. Young, cold people are blue. Blue, big people are cold. If someone is cold and big then they are kind. If someone is cold then they are green. Cold, young people are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Young, blue people are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Young, cold people are blue.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Blue, big people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Cold, young people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Harry is cold.
True
1
proof
[(triple6 OR ((triple7) -> rule1))]
("Harry" "is" "cold" "+")
triple6
((triple7) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule1))]
("Harry" "is" "cold" "-")
triple6
((triple7) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Gary is green.
True
2
proof
[(((triple5) -> rule8))]
("Gary" "is" "green" "+")
((triple5) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple6) -> rule5) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((triple7) -> rule1)) -> rule5))]
("Harry" "is" "blue" "-")
((triple7 triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple6) -> (rule8 % int5)) ((triple6 ((((triple6) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple6) -> (rule8 % int6)) ((triple6 ((((triple6) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
Erin is young.
True
4
proof
[(((((triple3) -> rule8) triple4) -> rule2) OR ((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2))]
("Erin" "is" "young" "+")
((((triple3) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3 triple2) -> (rule7 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple3) -> (rule8 % int4)) ((triple3 ((((triple3) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is not young.
False
4
inv-proof
[(((((triple3) -> rule8) triple4) -> rule2) OR ((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2))]
("Erin" "is" "young" "-")
((((triple3) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3 triple2) -> (rule7 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple3) -> (rule8 % int4)) ((triple3 ((((triple3) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Anne is kind.
True
5
proof
[(((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule7))]
("Anne" "is" "kind" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is not kind.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule7))]
("Anne" "is" "kind" "-")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Erin is nice.
True
11
proof
[(((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4))]
("Erin" "is" "nice" "+")
((((((triple3) -> (rule8 % int4)) triple4) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int4)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple3) -> (rule8 % int5)) triple4) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int3))) -> (rule2 % int4)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int5)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) triple4) -> (rule2 % int5)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int5)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 triple2) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule2 % int4)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Erin is not nice.
False
11
inv-proof
[(((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4))]
("Erin" "is" "nice" "-")
((((((triple3) -> (rule8 % int4)) triple4) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int4)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple3) -> (rule8 % int5)) triple4) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int3))) -> (rule2 % int4)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int5)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) triple4) -> (rule2 % int5)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int5)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 triple2) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule2 % int4)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Gary is blue.
True
10
proof
[(((((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple5) -> rule5))]
("Gary" "is" "blue" "+")
((((((triple5) -> (rule8 % int5)) ((triple5 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is not blue.
False
10
inv-proof
[(((((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple5) -> rule5))]
("Gary" "is" "blue" "-")
((((((triple5) -> (rule8 % int5)) ((triple5 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
@0: Anne is cold.[(triple1)] Erin is big.[(triple2 OR ((((triple3) -> rule8)) -> rule3))] Erin is cold.[(triple3)] Erin is kind.[(triple4 OR ((triple3 triple2) -> rule7) OR ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7))] Gary is cold.[(triple5)] Harry is cold.[(triple6 OR ((triple7) -> rule1))] Harry is young.[(triple7 OR ((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2))] @1: Anne is green.[(((triple1) -> rule8))] Erin is green.[(((triple3) -> rule8))] Gary is green.[(((triple5) -> rule8))] Harry is blue.[(((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple6) -> rule5) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((triple7) -> rule1)) -> rule5))] Harry is green.[(((triple6) -> rule8) OR ((((triple7) -> rule1)) -> rule8))] Harry is kind.[(((triple6 triple7) -> rule9) OR ((((triple7) -> rule1) triple7) -> rule9) OR ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7) OR ((((triple7) -> rule1) ((((triple6) -> rule8)) -> rule3)) -> rule7) OR ((triple6 ((((((triple7) -> rule1)) -> rule8)) -> rule3)) -> rule7) OR ((((triple7) -> rule1) ((((((triple7) -> rule1)) -> rule8)) -> rule3)) -> rule7))] @2: Anne is big.[(((((triple1) -> rule8)) -> rule3))] Erin is young.[(((((triple3) -> rule8) triple4) -> rule2) OR ((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2))] Gary is big.[(((((triple5) -> rule8)) -> rule3))] Harry is big.[(((((triple6) -> rule8)) -> rule3) OR ((((((triple7) -> rule1)) -> rule8)) -> rule3))] Harry is nice.[(((triple7 ((triple7 triple6) -> rule5)) -> rule4) OR ((triple7 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule4) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((triple7 triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule4) OR ((triple7 ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple6) -> rule5)) -> rule4) OR ((triple7 ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((triple7) -> rule1)) -> rule5)) -> rule4) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple6) -> rule8) ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((triple7) -> rule1)) -> rule5)) -> rule4))] @3: Anne is kind.[(((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule7))] Erin is blue.[(((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5))] Gary is kind.[(((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7))] @4: Anne is young.[(((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule7)) -> rule2))] Erin is nice.[(((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) triple4) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) triple4) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 triple2) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple3) -> rule8) ((triple3 ((((triple3) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple3) -> rule5)) -> rule4))] Gary is young.[(((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7)) -> rule2))] @5: Anne is blue.[(((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple1) -> rule5))] Gary is blue.[(((((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple5) -> rule5))] @6: Anne is nice.[(((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple1) -> rule5)) -> rule4))] Gary is nice.[(((((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7)) -> rule2) ((((((triple5) -> rule8) ((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7)) -> rule2) triple5) -> rule5)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((triple3 triple2) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple3 ((((triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
((triple7) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple7
((((triple6) -> (rule8 % int4)) ((triple6 ((((triple6) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple5) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple6) -> (rule8 % int5)) ((triple6 ((((triple6) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple6) -> (rule8 % int6)) ((triple6 ((((triple6) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
Harry is green.
("Harry" "is" "green" "+")
((triple6) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple6 triple7) -> (rule9 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple7) -> (rule1 % int2)) triple7) -> (rule9 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple6 ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple7) -> (rule1 % int4)) ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple7) -> (rule1 % int4)) ((((((triple7) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((triple3) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3 triple2) -> (rule7 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple3) -> (rule8 % int4)) ((triple3 ((((triple3) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 ((triple7 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple7 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple6) -> (rule8 % int6)) ((triple6 ((((triple6) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple7 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((triple6) -> (rule8 % int7)) ((triple6 ((((triple6) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
Harry is green.
("Harry" "is" "green" "+")
int7
((triple7 ((((((triple6) -> (rule8 % int6)) ((triple6 ((((triple6) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((triple7 ((((((triple6) -> (rule8 % int7)) ((triple6 ((((triple6) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
Harry is green.
("Harry" "is" "green" "+")
int7
((((((triple6) -> (rule8 % int6)) ((triple6 ((((triple6) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple6) -> (rule8 % int6)) ((triple6 ((((triple6) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((triple6) -> (rule8 % int7)) ((triple6 ((((triple6) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple6) -> (rule8 % int7)) ((triple6 ((((triple6) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
Harry is green.
("Harry" "is" "green" "+")
int7
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple3) -> (rule8 % int3)) triple4) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple3) -> (rule8 % int4)) ((triple3 triple2) -> (rule7 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple3) -> (rule8 % int5)) ((triple3 ((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
((triple5 ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule8 % int4)) ((triple1 ((((triple1) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((((triple3) -> (rule8 % int4)) triple4) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int4)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple3) -> (rule8 % int5)) triple4) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int3))) -> (rule2 % int4)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int5)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int5)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) triple4) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) ((triple3 triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) triple4) -> (rule2 % int5)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int5)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 triple2) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule2 % int4)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int6)) ((triple3 ((((triple3) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Gary is young.
("Gary" "is" "young" "+")
((((triple5) -> (rule8 % int4)) ((triple5 ((((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1) -> (rule8 % int5)) ((triple1 ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple5) -> (rule8 % int5)) ((triple5 ((((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule8 % int6)) ((triple1 ((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple1) -> (rule8 % int6)) ((triple1 ((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple5) -> (rule8 % int6)) ((triple5 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule8 % int6)) ((triple5 ((((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6