Anne is green. Anne is kind. Anne is smart. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is smart. Harry is white. If something is white then it is smart. All white, furry things are nice. If something is green and nice then it is quiet. Kind things are nice. Kind, smart things are furry. Quiet things are furry. If Charlie is nice and Charlie is smart then Charlie is green. If something is quiet and smart then it is nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is white then it is smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
All white, furry things are nice.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If something is green and nice then it is quiet.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Kind, smart things are furry.
((("something" "is" "kind" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Charlie is nice and Charlie is smart then Charlie is green.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "green" "+"))
If something is quiet and smart then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
Harry is nice.
True
1
proof
[(triple14 OR ((triple13) -> rule4) OR ((triple16 triple11) -> rule2) OR ((triple16 ((triple13 triple15) -> rule5)) -> rule2) OR ((triple16 ((triple13 ((triple16) -> rule1)) -> rule5)) -> rule2))]
("Harry" "is" "nice" "+")
triple14
((triple13) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple16 triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple16 ((triple13 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple16 ((triple13 ((triple16) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is not furry.
False
1
inv-proof
[(triple11 OR ((triple13 triple15) -> rule5) OR ((((triple12 triple14) -> rule3)) -> rule6) OR ((triple13 ((triple16) -> rule1)) -> rule5) OR ((((triple12 ((triple13) -> rule4)) -> rule3)) -> rule6))]
("Harry" "is" "furry" "-")
triple11
((triple13 triple15) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple12 triple14) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple13 ((triple16) -> (rule1 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple12 ((triple13) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Anne is furry.
True
3
proof
[(((triple2 triple3) -> rule5) OR ((((triple1 ((triple2) -> rule4)) -> rule3)) -> rule6))]
("Anne" "is" "furry" "+")
((triple2 triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple1 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is not furry.
False
3
inv-proof
[(((triple2 triple3) -> rule5) OR ((((triple1 ((triple2) -> rule4)) -> rule3)) -> rule6))]
("Anne" "is" "furry" "-")
((triple2 triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple1 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Charlie is furry.[(triple4 OR ((triple8) -> rule6) OR ((triple6 triple9) -> rule5) OR ((((triple5 triple7) -> rule3)) -> rule6) OR ((triple6 ((triple10) -> rule1)) -> rule5) OR ((((triple5 ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple7 triple9) -> rule7) triple7) -> rule3)) -> rule6) OR ((((((triple7 triple9) -> rule7) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple7 ((triple10) -> rule1)) -> rule7) triple7) -> rule3)) -> rule6) OR ((((((((triple6) -> rule4) triple9) -> rule7) triple7) -> rule3)) -> rule6) OR ((((((triple7 ((triple10) -> rule1)) -> rule7) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple6) -> rule4) triple9) -> rule7) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) triple7) -> rule3)) -> rule6) OR ((((((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) ((triple6) -> rule4)) -> rule3)) -> rule6))] Charlie is green.[(triple5 OR ((triple7 triple9) -> rule7) OR ((triple7 ((triple10) -> rule1)) -> rule7) OR ((((triple6) -> rule4) triple9) -> rule7) OR ((((triple10 triple4) -> rule2) triple9) -> rule7) OR ((((triple8 triple9) -> rule8) triple9) -> rule7) OR ((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) OR ((((triple10 triple4) -> rule2) ((triple10) -> rule1)) -> rule7) OR ((((triple8 triple9) -> rule8) ((triple10) -> rule1)) -> rule7) OR ((((triple10 ((triple8) -> rule6)) -> rule2) triple9) -> rule7) OR ((((triple10 ((triple6 triple9) -> rule5)) -> rule2) triple9) -> rule7) OR ((((triple8 ((triple10) -> rule1)) -> rule8) triple9) -> rule7) OR ((((triple10 ((triple8) -> rule6)) -> rule2) ((triple10) -> rule1)) -> rule7) OR ((((triple10 ((triple6 triple9) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) OR ((((triple8 ((triple10) -> rule1)) -> rule8) ((triple10) -> rule1)) -> rule7) OR ((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) triple9) -> rule7) OR ((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7))] Charlie is kind.[(triple6)] Charlie is nice.[(triple7 OR ((triple6) -> rule4) OR ((triple10 triple4) -> rule2) OR ((triple8 triple9) -> rule8) OR ((triple10 ((triple8) -> rule6)) -> rule2) OR ((triple10 ((triple6 triple9) -> rule5)) -> rule2) OR ((triple8 ((triple10) -> rule1)) -> rule8) OR ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2))] Charlie is quiet.[(triple8 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple6) -> rule4)) -> rule3) OR ((triple5 ((triple10 triple4) -> rule2)) -> rule3) OR ((((triple7 triple9) -> rule7) triple7) -> rule3) OR ((((triple7 triple9) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((triple7 triple9) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((triple5 ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((triple7 ((triple10) -> rule1)) -> rule7) triple7) -> rule3) OR ((((((triple6) -> rule4) triple9) -> rule7) triple7) -> rule3) OR ((((((triple10 triple4) -> rule2) triple9) -> rule7) triple7) -> rule3) OR ((((triple7 triple9) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((triple7 ((triple10) -> rule1)) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((triple7 ((triple10) -> rule1)) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple6) -> rule4) triple9) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) triple9) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) triple7) -> rule3) OR ((((((triple10 triple4) -> rule2) triple9) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple10 triple4) -> rule2) triple9) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple10 triple4) -> rule2) ((triple10) -> rule1)) -> rule7) triple7) -> rule3) OR ((((triple7 ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple6) -> rule4) triple9) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple10 triple4) -> rule2) triple9) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 triple4) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple10 triple4) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 triple4) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((triple5 ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) triple9) -> rule7) triple7) -> rule3) OR ((((triple7 triple9) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) triple9) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) triple9) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) triple7) -> rule3) OR ((((triple7 ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple6) -> rule4) triple9) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 triple4) -> rule2) triple9) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) triple9) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple6) -> rule4) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 triple4) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) triple9) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 triple9) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) triple9) -> rule7) triple7) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) triple9) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) triple9) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) triple7) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) triple9) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple6) -> rule4)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 triple4) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) triple9) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 triple9) -> rule5)) -> rule2)) -> rule3) OR ((((((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2) ((triple10) -> rule1)) -> rule7) ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule2)) -> rule3))] Charlie is smart.[(triple9 OR ((triple10) -> rule1))] Charlie is white.[(triple10)] Harry is furry.[(triple11 OR ((triple13 triple15) -> rule5) OR ((((triple12 triple14) -> rule3)) -> rule6) OR ((triple13 ((triple16) -> rule1)) -> rule5) OR ((((triple12 ((triple13) -> rule4)) -> rule3)) -> rule6))] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((triple13) -> rule4) OR ((triple16 triple11) -> rule2) OR ((triple16 ((triple13 triple15) -> rule5)) -> rule2) OR ((triple16 ((triple13 ((triple16) -> rule1)) -> rule5)) -> rule2))] Harry is smart.[(triple15 OR ((triple16) -> rule1))] Harry is white.[(triple16)] @1: Anne is furry.[(((triple2 triple3) -> rule5) OR ((((triple1 ((triple2) -> rule4)) -> rule3)) -> rule6))] Anne is nice.[(((triple2) -> rule4))] Harry is quiet.[(((triple12 triple14) -> rule3) OR ((triple12 ((triple13) -> rule4)) -> rule3) OR ((triple12 ((triple16 triple11) -> rule2)) -> rule3) OR ((triple12 ((triple16 ((triple13 triple15) -> rule5)) -> rule2)) -> rule3) OR ((triple12 ((triple16 ((triple13 ((triple16) -> rule1)) -> rule5)) -> rule2)) -> rule3))] @2: Anne is quiet.[(((triple1 ((triple2) -> rule4)) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
((triple8) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple6 triple9) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple5 triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple6 ((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5 ((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple7 triple9) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple7 triple9) -> (rule7 % int4)) ((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple7 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple6) -> (rule4 % int4)) triple9) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple7 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) ((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple6) -> (rule4 % int4)) triple9) -> (rule7 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple6) -> (rule4 % int5)) ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((triple6) -> (rule4 % int5)) ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple6) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
triple5
((triple7 triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple7 ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple10 triple4) -> (rule2 % int2)) triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple8 triple9) -> (rule8 % int2)) triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple10 triple4) -> (rule2 % int3)) ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple8 triple9) -> (rule8 % int3)) ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple10 ((triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple10 ((triple6 triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple8 ((triple10) -> (rule1 % int3))) -> (rule8 % int2)) triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple10 ((triple8) -> (rule6 % int4))) -> (rule2 % int3)) ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple8 ((triple10) -> (rule1 % int3))) -> (rule8 % int2)) ((triple10) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple10 ((triple6 ((triple10) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple10 ((triple6 ((triple10) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple10) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
((triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple10 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple8 triple9) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple10 ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple10 ((triple6 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple8 ((triple10) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple10 ((triple6 ((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
((triple5 triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple5 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple5 ((triple10 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7 triple9) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple7 triple9) -> (rule7 % int3)) ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple7 triple9) -> (rule7 % int3)) ((triple10 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple5 ((triple10 ((triple6 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple7 ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple6) -> (rule4 % int3)) triple9) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple10 triple4) -> (rule2 % int3)) triple9) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple7 triple9) -> (rule7 % int4)) ((triple10 ((triple6 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple7 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple7 ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple6) -> (rule4 % int3)) triple9) -> (rule7 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple6) -> (rule4 % int3)) triple9) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple6) -> (rule4 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple10 triple4) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple10 triple4) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple10 triple4) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((triple7 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) ((triple10 ((triple6 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int4)) triple9) -> (rule7 % int3)) ((triple10 ((triple6 triple9) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple10 triple4) -> (rule2 % int4)) triple9) -> (rule7 % int3)) ((triple10 ((triple6 triple9) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple10 triple4) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple10 triple4) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int5)) ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10 ((triple6 triple9) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((triple10 triple4) -> (rule2 % int5)) ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10 ((triple6 triple9) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple5 ((triple10 ((triple6 ((triple10) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple7 triple9) -> (rule7 % int5)) ((triple10 ((triple6 ((triple10) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple10 ((triple6 triple9) -> (rule5 % int5))) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple7 ((triple10) -> (rule1 % int5))) -> (rule7 % int4)) ((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple6) -> (rule4 % int5)) triple9) -> (rule7 % int4)) ((triple10 ((triple6 ((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((triple10 triple4) -> (rule2 % int5)) triple9) -> (rule7 % int4)) ((triple10 ((triple6 ((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple10 ((triple6 triple9) -> (rule5 % int5))) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple10 ((triple6 triple9) -> (rule5 % int5))) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple6) -> (rule4 % int5)) ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10 ((triple6 ((triple10) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((triple10 triple4) -> (rule2 % int5)) ((triple10) -> (rule1 % int4))) -> (rule7 % int3)) ((triple10 ((triple6 ((triple10) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((triple10 ((triple6 triple9) -> (rule5 % int5))) -> (rule2 % int4)) triple9) -> (rule7 % int3)) ((triple10 ((triple6 ((triple10) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple10 ((triple6 triple9) -> (rule5 % int5))) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple10 ((triple6 triple9) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple10 ((triple6 triple9) -> (rule5 % int5))) -> (rule2 % int4)) ((triple10) -> (rule1 % int3))) -> (rule7 % int2)) ((triple10 ((triple6 ((triple10) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2)) ((triple10 triple4) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) triple9) -> (rule7 % int2)) ((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2)) ((triple10 ((triple6 triple9) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2)) ((triple10 ((triple6 ((triple10) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
((triple10) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple13 triple15) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple12 triple14) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple13 ((triple16) -> (rule1 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple12 ((triple13) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
((triple13) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple16 triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple16 ((triple13 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple16 ((triple13 ((triple16) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple16) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple16
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple1 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple12 triple14) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple12 ((triple13) -> (rule4 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple16 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple16 ((triple13 triple15) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple12 ((triple16 ((triple13 ((triple16) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2