Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is white. Gary is young. If Gary is green then Gary is white. All quiet people are green. If someone is green and kind then they are quiet. If Gary is furry and Gary is green then Gary is nice. If someone is nice then they are kind. If someone is young and white then they are green. All nice people are white. All furry, white people are young.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is green then Gary is white.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "white" "+"))
All quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If someone is green and kind then they are quiet.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is furry and Gary is green then Gary is nice.
((("Gary" "is" "furry" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "nice" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and white then they are green.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All furry, white people are young.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Gary is green.
True
1
proof
[(triple2 OR ((triple5) -> rule2) OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple4) -> rule7)) -> rule6) OR ((((triple1 triple6) -> rule8) triple6) -> rule6) OR ((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) OR ((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) OR ((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6))]
("Gary" "is" "green" "+")
triple2
((triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple7 triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple7 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple1 triple6) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple1 triple6) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple1 ((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple1 ((triple4) -> (rule7 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int3))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is not quiet.
False
1
inv-proof
[(triple5 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple4) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule6) triple3) -> rule3) OR ((((triple7 triple6) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((triple2 ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) triple3) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) triple3) -> rule3) OR ((((triple7 triple6) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) triple3) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((triple2 ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) triple3) -> rule3) OR ((((triple7 triple6) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) triple3) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((triple2 ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3))]
("Gary" "is" "quiet" "-")
triple5
((triple2 triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple2 ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple7 triple6) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple7 triple6) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple2 ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple7 ((triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple1 triple6) -> (rule8 % int3)) triple6) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple7 triple6) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple7 ((triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple1 triple6) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple1 triple6) -> (rule8 % int4)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple7 ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 triple6) -> (rule8 % int5)) ((triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 triple6) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((triple2 ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple1 ((triple4) -> (rule7 % int4))) -> (rule8 % int3)) triple6) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 triple6) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple1 ((triple4) -> (rule7 % int5))) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 ((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4) -> (rule7 % int5))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 triple6) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) ((triple4) -> (rule7 % int6))) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) ((triple4) -> (rule7 % int6))) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((triple2 ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple7 triple6) -> (rule6 % int5)) ((((triple1 ((((triple1 triple6) -> (rule8 % int4)) triple6) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple7 ((triple4) -> (rule7 % int6))) -> (rule6 % int5)) ((((triple1 ((((triple1 triple6) -> (rule8 % int4)) triple6) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 triple6) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int6)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) ((triple4) -> (rule7 % int6))) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
@0: Gary is furry.[(triple1)] Gary is green.[(triple2 OR ((triple5) -> rule2) OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple4) -> rule7)) -> rule6) OR ((((triple1 triple6) -> rule8) triple6) -> rule6) OR ((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) OR ((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) OR ((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6))] Gary is kind.[(triple3 OR ((triple4) -> rule5) OR ((((triple1 triple2) -> rule4)) -> rule5) OR ((((triple1 ((triple5) -> rule2)) -> rule4)) -> rule5) OR ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5))] Gary is nice.[(triple4 OR ((triple1 triple2) -> rule4) OR ((triple1 ((triple5) -> rule2)) -> rule4) OR ((triple1 ((triple7 triple6) -> rule6)) -> rule4) OR ((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4))] Gary is quiet.[(triple5 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple4) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule6) triple3) -> rule3) OR ((((triple7 triple6) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((triple2 ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) triple3) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) triple3) -> rule3) OR ((((triple7 triple6) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) triple3) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((triple2 ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) triple3) -> rule3) OR ((((triple7 triple6) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) triple3) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 triple2) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((triple7 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((triple2 ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((triple7 ((triple4) -> rule7)) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) triple6) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) triple6) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple1 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule6) ((((triple1 ((((triple1 triple6) -> rule8) triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Gary is white.[(triple6 OR ((triple2) -> rule1) OR ((triple4) -> rule7) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple1 triple2) -> rule4)) -> rule7) OR ((((triple1 ((triple5) -> rule2)) -> rule4)) -> rule7))] Gary is young.[(triple7 OR ((triple1 triple6) -> rule8) OR ((triple1 ((triple2) -> rule1)) -> rule8) OR ((triple1 ((triple4) -> rule7)) -> rule8) OR ((triple1 ((((triple5) -> rule2)) -> rule1)) -> rule8) OR ((triple1 ((((triple1 triple2) -> rule4)) -> rule7)) -> rule8) OR ((triple1 ((((triple1 ((triple5) -> rule2)) -> rule4)) -> rule7)) -> rule8))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
((triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple7 triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple7 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple1 triple6) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple1 triple6) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple1 ((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((triple1 ((triple4) -> (rule7 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int3))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple3
((triple4) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple1 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple1 ((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple1 ((triple7 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple1 ((((triple1 triple6) -> (rule8 % int4)) triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple4
((triple1 triple2) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple1 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple1 ((triple7 triple6) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple1 ((((triple1 triple6) -> (rule8 % int3)) triple6) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
((triple2 triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple2 ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple7 triple6) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple7 triple6) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple2 ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple7 ((triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple1 triple6) -> (rule8 % int3)) triple6) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple7 triple6) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple7 ((triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple1 triple6) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple1 triple6) -> (rule8 % int4)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple7 ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 triple6) -> (rule8 % int5)) ((triple4) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 triple6) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((triple2 ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple1 ((triple4) -> (rule7 % int4))) -> (rule8 % int3)) triple6) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 triple6) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple1 ((triple4) -> (rule7 % int5))) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 ((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple7 ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4) -> (rule7 % int5))) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple1 triple6) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) ((triple4) -> (rule7 % int6))) -> (rule6 % int4)) ((((triple1 triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) ((triple4) -> (rule7 % int6))) -> (rule6 % int4)) ((((triple1 ((triple7 triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((triple2 ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((triple7 triple6) -> (rule6 % int5)) ((((triple1 ((((triple1 triple6) -> (rule8 % int4)) triple6) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple7 ((triple4) -> (rule7 % int6))) -> (rule6 % int5)) ((((triple1 ((((triple1 triple6) -> (rule8 % int4)) triple6) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((triple1 triple6) -> (rule8 % int6)) ((triple4) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int6)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) triple6) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
((((((triple1 ((triple4) -> (rule7 % int6))) -> (rule8 % int5)) ((triple4) -> (rule7 % int6))) -> (rule6 % int4)) ((((triple1 ((((triple1 triple6) -> (rule8 % int5)) triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
int6
Gary is white.
("Gary" "is" "white" "+")
triple6
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple4) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple1 triple2) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple1 ((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple7
((triple1 triple6) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple1 ((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((triple1 ((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((triple1 ((((triple5) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple1 ((((triple1 triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple1 ((((triple1 ((triple5) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4