Anne is nice. Anne is red. Anne is rough. Anne is round. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is rough. Gary is round. Rough, kind people are big. Blue people are nice. If Gary is nice then Gary is red. Round, red people are kind. Kind, rough people are nice. Kind, nice people are rough. If Gary is kind and Gary is blue then Gary is nice. All nice, blue people are rough.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Rough, kind people are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If Gary is nice then Gary is red.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "red" "+"))
Round, red people are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Kind, rough people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Kind, nice people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If Gary is kind and Gary is blue then Gary is nice.
((("Gary" "is" "kind" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "nice" "+"))
All nice, blue people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Gary is rough.
True
1
proof
[(triple9 OR ((triple7 triple8) -> rule6) OR ((triple8 triple6) -> rule8) OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((triple7 ((triple7 triple6) -> rule7)) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule8) OR ((((triple7 triple6) -> rule7) triple6) -> rule8) OR ((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) OR ((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6))]
("Gary" "is" "rough" "+")
triple9
((triple7 triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple8 triple6) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple7 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple7 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple7 triple6) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3)) ((triple7 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple7 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Anne is not red.
False
1
inv-proof
[(triple2)]
("Anne" "is" "red" "-")
triple2
@0: Anne is nice.[(triple1 OR ((((triple4 triple2) -> rule4) triple3) -> rule5))] Anne is red.[(triple2)] Anne is rough.[(triple3 OR ((((triple4 triple2) -> rule4) triple1) -> rule6))] Anne is round.[(triple4)] Gary is big.[(triple5 OR ((triple9 triple7) -> rule1) OR ((((triple7 triple8) -> rule6) triple7) -> rule1) OR ((((triple8 triple6) -> rule8) triple7) -> rule1) OR ((triple9 ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple6) -> rule2)) -> rule6) triple7) -> rule1) OR ((((triple7 ((triple7 triple6) -> rule7)) -> rule6) triple7) -> rule1) OR ((((((triple6) -> rule2) triple6) -> rule8) triple7) -> rule1) OR ((((((triple7 triple6) -> rule7) triple6) -> rule8) triple7) -> rule1) OR ((((triple7 triple8) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple8 triple6) -> rule8) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple6) -> rule2)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple6) -> rule2) triple6) -> rule8) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple7 triple6) -> rule7) triple6) -> rule8) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((triple9 ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) triple7) -> rule1) OR ((((triple7 triple8) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((triple8 triple6) -> rule8) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) triple7) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) triple7) -> rule1) OR ((((triple7 ((triple6) -> rule2)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((triple7 ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple6) -> rule2) triple6) -> rule8) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple7 triple6) -> rule7) triple6) -> rule8) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) triple7) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) triple7) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) triple7) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule1))] Gary is blue.[(triple6)] Gary is kind.[(triple7 OR ((triple10 ((triple8) -> rule3)) -> rule4) OR ((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4))] Gary is nice.[(triple8 OR ((triple6) -> rule2) OR ((triple7 triple6) -> rule7) OR ((triple7 triple9) -> rule5))] Gary is rough.[(triple9 OR ((triple7 triple8) -> rule6) OR ((triple8 triple6) -> rule8) OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((triple7 ((triple7 triple6) -> rule7)) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule8) OR ((((triple7 triple6) -> rule7) triple6) -> rule8) OR ((((triple10 ((triple8) -> rule3)) -> rule4) triple8) -> rule6) OR ((((triple10 ((triple8) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple10 ((triple8) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) triple8) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple10 ((((triple6) -> rule2)) -> rule3)) -> rule4) ((triple7 triple6) -> rule7)) -> rule6))] Gary is round.[(triple10)] @1: Anne is kind.[(((triple4 triple2) -> rule4))] Gary is red.[(((triple8) -> rule3) OR ((((triple6) -> rule2)) -> rule3) OR ((((triple7 triple6) -> rule7)) -> rule3) OR ((((triple7 triple9) -> rule5)) -> rule3))] @2: Anne is big.[(((triple3 ((triple4 triple2) -> rule4)) -> rule1) OR ((((((triple4 triple2) -> rule4) triple1) -> rule6) ((triple4 triple2) -> rule4)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((((triple4 triple2) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((((triple4 triple2) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
((triple9 triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple7 triple8) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple8 triple6) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple9 ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple7 ((triple6) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple7 ((triple7 triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple6) -> (rule2 % int3)) triple6) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple7 triple6) -> (rule7 % int3)) triple6) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple7 triple8) -> (rule6 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple8 triple6) -> (rule8 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple7 ((triple6) -> (rule2 % int5))) -> (rule6 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple7 ((triple7 triple6) -> (rule7 % int5))) -> (rule6 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple7 triple6) -> (rule7 % int5)) triple6) -> (rule8 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((triple9 ((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple7 triple8) -> (rule6 % int5)) ((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple8 triple6) -> (rule8 % int5)) ((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4)) ((triple7 triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple7 ((triple6) -> (rule2 % int5))) -> (rule6 % int4)) ((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple7 ((triple7 triple6) -> (rule7 % int5))) -> (rule6 % int4)) ((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) ((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple7 triple6) -> (rule7 % int5)) triple6) -> (rule8 % int4)) ((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4)) triple8) -> (rule6 % int3)) ((triple10 ((((triple6) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2)) ((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4)) ((triple7 triple6) -> (rule7 % int3))) -> (rule6 % int2)) ((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2)) ((triple10 ((((triple6) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((triple8) -> (rule3 % int5))) -> (rule4 % int4)) ((triple7 triple6) -> (rule7 % int3))) -> (rule6 % int2)) ((triple10 ((((triple6) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int5))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple7 triple6) -> (rule7 % int5))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int5))) -> (rule6 % int2)) ((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple7 triple6) -> (rule7 % int5))) -> (rule6 % int2)) ((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int5))) -> (rule6 % int2)) ((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple7 triple6) -> (rule7 % int5))) -> (rule6 % int2)) ((triple10 ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((triple10 ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple10 ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple6) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple7 triple6) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple7 triple9) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((triple7 triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple8 triple6) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple7 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple7 ((triple7 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple7 triple6) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int3)) ((triple7 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple10 ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple7 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple10
Anne is kind.
("Anne" "is" "kind" "+")
((triple4 triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple8) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple7 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple7 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((triple3 ((triple4 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple4 triple2) -> (rule4 % int3)) triple1) -> (rule6 % int2)) ((triple4 triple2) -> (rule4 % int3))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3