Anne is green. Anne is white. Anne is young. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. Quiet things are white. If something is nice and young then it is round. If Harry is green and Harry is young then Harry is round. Nice, round things are kind. If something is quiet and white then it is young. All young, white things are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Quiet things are white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is nice and young then it is round.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If Harry is green and Harry is young then Harry is round.
((("Harry" "is" "green" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "round" "+"))
Nice, round things are kind.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is quiet and white then it is young.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All young, white things are nice.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Harry is white.
True
1
proof
[(triple9 OR ((triple7) -> rule1))]
("Harry" "is" "white" "+")
triple9
((triple7) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is not white.
False
1
inv-proof
[(triple2)]
("Anne" "is" "white" "-")
triple2
Anne is nice.
True
3
proof
[(((triple3 triple2) -> rule6))]
("Anne" "is" "nice" "+")
((triple3 triple2) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule6))]
("Anne" "is" "nice" "-")
((triple3 triple2) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
True
5
proof
[(((((triple3 triple2) -> rule6) triple3) -> rule2))]
("Anne" "is" "round" "+")
((((triple3 triple2) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not round.
False
5
inv-proof
[(((((triple3 triple2) -> rule6) triple3) -> rule2))]
("Anne" "is" "round" "-")
((((triple3 triple2) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
True
9
proof
[(((((triple3 triple2) -> rule6) ((((triple3 triple2) -> rule6) triple3) -> rule2)) -> rule4))]
("Anne" "is" "kind" "+")
((((triple3 triple2) -> (rule6 % int3)) ((((triple3 triple2) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is not kind.
False
9
inv-proof
[(((((triple3 triple2) -> rule6) ((((triple3 triple2) -> rule6) triple3) -> rule2)) -> rule4))]
("Anne" "is" "kind" "-")
((((triple3 triple2) -> (rule6 % int3)) ((((triple3 triple2) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5 OR ((triple6 triple8) -> rule4) OR ((triple6 ((triple4 triple10) -> rule3)) -> rule4) OR ((triple6 ((triple6 triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) triple8) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((triple6 ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple6 ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) triple8) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple8) -> rule4) OR ((triple6 ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple8) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((triple6 ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple8) -> rule4) OR ((triple6 ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple8) -> rule4) OR ((triple6 ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4))] Harry is nice.[(triple6 OR ((triple10 triple9) -> rule6) OR ((triple10 ((triple7) -> rule1)) -> rule6) OR ((((triple7 triple9) -> rule5) triple9) -> rule6) OR ((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) OR ((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) OR ((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6))] Harry is quiet.[(triple7)] Harry is round.[(triple8 OR ((triple4 triple10) -> rule3) OR ((triple6 triple10) -> rule2) OR ((triple4 ((triple7 triple9) -> rule5)) -> rule3) OR ((triple6 ((triple7 triple9) -> rule5)) -> rule2) OR ((((triple10 triple9) -> rule6) triple10) -> rule2) OR ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3) OR ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2) OR ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2))] Harry is white.[(triple9 OR ((triple7) -> rule1))] Harry is young.[(triple10 OR ((triple7 triple9) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5))] @1: Anne is nice.[(((triple3 triple2) -> rule6))] @2: Anne is round.[(((((triple3 triple2) -> rule6) triple3) -> rule2))] @3: Anne is kind.[(((((triple3 triple2) -> rule6) ((((triple3 triple2) -> rule6) triple3) -> rule2)) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
((triple6 triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple6 ((triple4 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple6 ((triple6 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10 triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple10 triple9) -> (rule6 % int3)) ((triple4 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple10 triple9) -> (rule6 % int3)) ((triple6 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple6 ((triple4 ((triple7 triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple6 ((triple6 ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple6 ((((triple10 triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple10 ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple6 ((((triple10 triple9) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple9) -> (rule6 % int4)) ((triple4 ((triple7 triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple9) -> (rule6 % int4)) ((triple6 ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple9) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple6 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple4 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple6 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 triple9) -> (rule6 % int4)) ((((triple10 triple9) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple4 ((triple7 triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple6 ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple4 ((triple7 triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple6 ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple6 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple10 triple9) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4 ((triple7 triple9) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple6 ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple6 ((triple4 ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple6 ((triple6 ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple6 ((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple6 ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple6 ((((triple10 triple9) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple6 ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((triple6 ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple6 ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((triple4 ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((triple6 ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int4)) ((((triple10 ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple9) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple4 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple6 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple6 ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((triple6 ((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple6 ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((triple10 triple9) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int5)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int5)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple4 ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple6 ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((triple4 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((triple6 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((triple10 ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple4 ((triple7 triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple6 ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple4 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple6 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((triple6 ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int5)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple10 triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((triple10 triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((triple10 ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4 ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple6 ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple4 ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple6 ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple4 ((triple7 triple9) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple6 ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((triple10 ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple4 ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple6 ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple10 triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int5)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int5)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int5)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3)) triple9) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5)) triple9) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple6 ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int5)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3)) triple9) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 triple9) -> (rule6 % int5)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3)) triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple10 ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5)) ((triple7) -> (rule1 % int3))) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 triple9) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5)) ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4)) ((triple7) -> (rule1 % int5))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
((triple10 triple9) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple10 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple7 triple9) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple7 triple9) -> (rule5 % int3)) ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int3))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple8
((triple4 triple10) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple6 triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple4 ((triple7 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple6 ((triple7 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple10 triple9) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple10 triple9) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple4 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple6 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple10 ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 triple9) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule6 % int2)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 ((triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) triple9) -> (rule6 % int3)) ((triple7 ((triple7) -> (rule1 % int2))) -> (rule5 % int4))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) ((triple7 triple9) -> (rule5 % int4))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 triple9) -> (rule5 % int4)) ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int2)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int2)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int2)) ((triple7 triple9) -> (rule5 % int3))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int4))) -> (rule6 % int2)) ((triple7 ((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
triple9
((triple7) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple7 triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((triple3 triple2) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple3 triple2) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((((triple3 triple2) -> (rule6 % int3)) ((((triple3 triple2) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3