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