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