Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is young. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. Gary is nice. Gary is young. If Charlie is blue and Charlie is nice then Charlie is round. If someone is round then they are kind. If someone is young and nice then they are quiet. Quiet people are blue. All nice, rough people are kind. If someone is kind then they are nice. Quiet people are round. If someone is blue then they are round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
If Charlie is blue and Charlie is nice then Charlie is round.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "round" "+"))
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice then they are quiet.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All nice, rough people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Charlie is kind.
True
1
proof
[(triple9 OR ((triple13) -> rule2) OR ((triple10 triple12) -> rule5) OR ((((triple11) -> rule7)) -> rule2) OR ((((triple8) -> rule8)) -> rule2) OR ((((triple8 triple10) -> rule1)) -> rule2) OR ((((((triple11) -> rule4)) -> rule8)) -> rule2) OR ((((((triple14 triple10) -> rule3)) -> rule7)) -> rule2) OR ((((((triple11) -> rule4) triple10) -> rule1)) -> rule2) OR ((((((((triple14 triple10) -> rule3)) -> rule4)) -> rule8)) -> rule2) OR ((((((((triple14 triple10) -> rule3)) -> rule4) triple10) -> rule1)) -> rule2))]
("Charlie" "is" "kind" "+")
triple9
((triple13) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple10 triple12) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple14 triple10) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple11) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple14 triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple14 triple10) -> (rule3 % int4))) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is not young.
False
1
inv-proof
[(triple14)]
("Charlie" "is" "young" "-")
triple14
Gary is quiet.
True
3
proof
[(((triple16 triple15) -> rule3))]
("Gary" "is" "quiet" "+")
((triple16 triple15) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
3
inv-proof
[(((triple16 triple15) -> rule3))]
("Gary" "is" "quiet" "-")
((triple16 triple15) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
True
4
proof
[(((((triple16 triple15) -> rule3)) -> rule4))]
("Gary" "is" "blue" "+")
((((triple16 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((((triple16 triple15) -> rule3)) -> rule4))]
("Gary" "is" "blue" "-")
((((triple16 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
True
5
proof
[(((((((triple16 triple15) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple16 triple15) -> rule3)) -> rule4)) -> rule8)) -> rule2))]
("Gary" "is" "kind" "+")
((((((triple16 triple15) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((((triple16 triple15) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is not kind.
False
5
inv-proof
[(((((((triple16 triple15) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple16 triple15) -> rule3)) -> rule4)) -> rule8)) -> rule2))]
("Gary" "is" "kind" "-")
((((((triple16 triple15) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((((triple16 triple15) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
@0: Anne is blue.[(triple1 OR ((triple4) -> rule4) OR ((((triple7 triple3) -> rule3)) -> rule4) OR ((((triple7 ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((((triple7 ((((triple6) -> rule2)) -> rule6)) -> rule3)) -> rule4))] Anne is kind.[(triple2 OR ((triple6) -> rule2) OR ((triple3 triple5) -> rule5) OR ((((triple1) -> rule8)) -> rule2) OR ((((triple4) -> rule7)) -> rule2) OR ((((((triple4) -> rule4)) -> rule8)) -> rule2) OR ((((((triple7 triple3) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple7 triple3) -> rule3)) -> rule4)) -> rule8)) -> rule2))] Anne is nice.[(triple3 OR ((triple2) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((((triple1) -> rule8)) -> rule2)) -> rule6) OR ((((((triple4) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple4) -> rule4)) -> rule8)) -> rule2)) -> rule6))] Anne is quiet.[(triple4 OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple2) -> rule6)) -> rule3) OR ((triple7 ((((triple6) -> rule2)) -> rule6)) -> rule3) OR ((triple7 ((((((triple1) -> rule8)) -> rule2)) -> rule6)) -> rule3))] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple1) -> rule8) OR ((triple4) -> rule7) OR ((((triple4) -> rule4)) -> rule8) OR ((((triple7 triple3) -> rule3)) -> rule7) OR ((((((triple7 triple3) -> rule3)) -> rule4)) -> rule8) OR ((((triple7 ((triple2) -> rule6)) -> rule3)) -> rule7) OR ((((((triple7 ((triple2) -> rule6)) -> rule3)) -> rule4)) -> rule8))] Anne is young.[(triple7)] Charlie is blue.[(triple8 OR ((triple11) -> rule4) OR ((((triple14 triple10) -> rule3)) -> rule4) OR ((((triple14 ((triple9) -> rule6)) -> rule3)) -> rule4) OR ((((triple14 ((((triple13) -> rule2)) -> rule6)) -> rule3)) -> rule4))] Charlie is kind.[(triple9 OR ((triple13) -> rule2) OR ((triple10 triple12) -> rule5) OR ((((triple11) -> rule7)) -> rule2) OR ((((triple8) -> rule8)) -> rule2) OR ((((triple8 triple10) -> rule1)) -> rule2) OR ((((((triple11) -> rule4)) -> rule8)) -> rule2) OR ((((((triple14 triple10) -> rule3)) -> rule7)) -> rule2) OR ((((((triple11) -> rule4) triple10) -> rule1)) -> rule2) OR ((((((((triple14 triple10) -> rule3)) -> rule4)) -> rule8)) -> rule2) OR ((((((((triple14 triple10) -> rule3)) -> rule4) triple10) -> rule1)) -> rule2))] Charlie is nice.[(triple10 OR ((triple9) -> rule6) OR ((((triple13) -> rule2)) -> rule6) OR ((((((triple11) -> rule7)) -> rule2)) -> rule6) OR ((((((triple8) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple11) -> rule4)) -> rule8)) -> rule2)) -> rule6))] Charlie is quiet.[(triple11 OR ((triple14 triple10) -> rule3) OR ((triple14 ((triple9) -> rule6)) -> rule3) OR ((triple14 ((((triple13) -> rule2)) -> rule6)) -> rule3) OR ((triple14 ((((((triple8) -> rule8)) -> rule2)) -> rule6)) -> rule3))] Charlie is rough.[(triple12)] Charlie is round.[(triple13 OR ((triple11) -> rule7) OR ((triple8) -> rule8) OR ((triple8 triple10) -> rule1) OR ((((triple11) -> rule4)) -> rule8) OR ((((triple14 triple10) -> rule3)) -> rule7) OR ((triple8 ((triple9) -> rule6)) -> rule1) OR ((((triple11) -> rule4) triple10) -> rule1) OR ((((triple11) -> rule4) ((triple9) -> rule6)) -> rule1) OR ((((((triple14 triple10) -> rule3)) -> rule4)) -> rule8) OR ((((triple14 ((triple9) -> rule6)) -> rule3)) -> rule7) OR ((((((triple14 triple10) -> rule3)) -> rule4) triple10) -> rule1) OR ((((((triple14 triple10) -> rule3)) -> rule4) ((triple9) -> rule6)) -> rule1) OR ((((((triple14 ((triple9) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple14 ((triple9) -> rule6)) -> rule3)) -> rule4) triple10) -> rule1) OR ((((((triple14 ((triple9) -> rule6)) -> rule3)) -> rule4) ((triple9) -> rule6)) -> rule1))] Charlie is young.[(triple14)] Gary is nice.[(triple15)] Gary is young.[(triple16)] @1: Gary is quiet.[(((triple16 triple15) -> rule3))] @2: Gary is blue.[(((((triple16 triple15) -> rule3)) -> rule4))] Gary is round.[(((((triple16 triple15) -> rule3)) -> rule7) OR ((((((triple16 triple15) -> rule3)) -> rule4)) -> rule8))] @3: Gary is kind.[(((((((triple16 triple15) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple16 triple15) -> rule3)) -> rule4)) -> rule8)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple7 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple7 ((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple7 ((((triple6) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple6) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple3 triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple7 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((((triple7 triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple2) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((((triple4) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple7 triple3) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple7 ((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple7 ((((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple7 ((((((triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple4) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple7 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple7 triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple7 ((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple7 ((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
((triple11) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple14 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple14 ((triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple14 ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
((triple13) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple10 triple12) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple14 triple10) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple11) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((triple14 triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple14 triple10) -> (rule3 % int4))) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
((triple9) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple13) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((((triple11) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((((triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple11
((triple14 triple10) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple14 ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple14 ((((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple14 ((((((triple8) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple12
Charlie is round.
("Charlie" "is" "round" "+")
triple13
((triple11) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple8) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple8 triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple14 triple10) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple8 ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple11) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple11) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple14 triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple14 ((triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple14 triple10) -> (rule3 % int3))) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple14 triple10) -> (rule3 % int4))) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple14 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple14 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple14 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple9) -> (rule6 % int4))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple16 triple15) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple16 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple16 triple15) -> (rule3 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple16 triple15) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple16 triple15) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((((triple16 triple15) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4