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