Charlie is big. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. Harry is big. Harry is furry. Harry is kind. Harry is red. Harry is young. If something is round then it is furry. All kind things are blue. All big, kind things are young. If Harry is furry and Harry is blue then Harry is red. All furry things are big. If something is big then it is kind. Big things are furry. All red things are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is round then it is furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All big, kind things are young.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If Harry is furry and Harry is blue then Harry is red.
((("Harry" "is" "furry" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "red" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is big then it is kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Charlie is big.
True
1
proof
[(triple1 OR ((triple2) -> rule5) OR ((((triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule1)) -> rule5))]
("Charlie" "is" "big" "+")
triple1
((triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Harry is not big.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule5) OR ((((((triple9) -> rule8)) -> rule1)) -> rule5))]
("Harry" "is" "big" "-")
triple6
((triple7) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((((triple9) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
@0: Charlie is big.[(triple1 OR ((triple2) -> rule5) OR ((((triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule1)) -> rule5))] Charlie is furry.[(triple2 OR ((triple1) -> rule7) OR ((triple5) -> rule1) OR ((((triple4) -> rule8)) -> rule1))] Charlie is kind.[(triple3 OR ((triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((((triple5) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule6))] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple4) -> rule8))] Harry is big.[(triple6 OR ((triple7) -> rule5) OR ((((((triple9) -> rule8)) -> rule1)) -> rule5))] Harry is furry.[(triple7 OR ((triple6) -> rule7) OR ((((triple9) -> rule8)) -> rule1))] Harry is kind.[(triple8 OR ((triple6) -> rule6) OR ((((triple7) -> rule5)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule1)) -> rule5)) -> rule6))] Harry is red.[(triple9 OR ((triple7 ((triple8) -> rule2)) -> rule4) OR ((((triple6) -> rule7) ((triple8) -> rule2)) -> rule4) OR ((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule4) OR ((((triple6) -> rule7) ((((triple6) -> rule6)) -> rule2)) -> rule4) OR ((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule2)) -> rule4) OR ((((triple6) -> rule7) ((((((triple7) -> rule5)) -> rule6)) -> rule2)) -> rule4))] Harry is young.[(triple10 OR ((triple6 triple8) -> rule3) OR ((triple6 ((triple6) -> rule6)) -> rule3) OR ((((triple7) -> rule5) triple8) -> rule3) OR ((((triple7) -> rule5) ((triple6) -> rule6)) -> rule3) OR ((triple6 ((((triple7) -> rule5)) -> rule6)) -> rule3) OR ((((triple7) -> rule5) ((((triple7) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule8)) -> rule1)) -> rule5) triple8) -> rule3) OR ((((((((triple9) -> rule8)) -> rule1)) -> rule5) ((triple6) -> rule6)) -> rule3) OR ((((((((triple9) -> rule8)) -> rule1)) -> rule5) ((((triple7) -> rule5)) -> rule6)) -> rule3) OR ((triple6 ((((((((triple9) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((triple7) -> rule5) ((((((((triple9) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule8)) -> rule1)) -> rule5) ((((((((triple9) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule3))] @1: Charlie is blue.[(((triple3) -> rule2) OR ((((triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule2) OR ((((((((((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule2))] Charlie is young.[(((triple1 triple3) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule5) triple3) -> rule3) OR ((((triple2) -> rule5) ((triple1) -> rule6)) -> rule3) OR ((triple1 ((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((triple5) -> rule1)) -> rule5) triple3) -> rule3) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((triple5) -> rule1)) -> rule5) ((triple1) -> rule6)) -> rule3) OR ((((((triple5) -> rule1)) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((triple1 ((((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule5) triple3) -> rule3) OR ((((triple2) -> rule5) ((((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule5) ((triple1) -> rule6)) -> rule3) OR ((((((triple5) -> rule1)) -> rule5) ((((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule5) ((((((triple5) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((triple1 ((((((((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((triple2) -> rule5) ((((((((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((triple5) -> rule1)) -> rule5) ((((((((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule5) ((((((((triple4) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule3))] Harry is blue.[(((triple8) -> rule2) OR ((((triple6) -> rule6)) -> rule2) OR ((((((triple7) -> rule5)) -> rule6)) -> rule2) OR ((((((((((triple9) -> rule8)) -> rule1)) -> rule5)) -> rule6)) -> rule2))] Harry is round.[(((triple9) -> rule8) OR ((((triple7 ((triple8) -> rule2)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7) ((triple8) -> rule2)) -> rule4)) -> rule8) OR ((((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7) ((((triple6) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((triple7 ((((((triple7) -> rule5)) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7) ((((((triple7) -> rule5)) -> rule6)) -> rule2)) -> rule4)) -> rule8))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple1) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((((triple4) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
((triple4) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple6
((triple7) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((((triple9) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple7
((triple6) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple8
((triple6) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((((triple9) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple7 ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple7 ((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((triple7 ((((((triple7) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple6) -> (rule7 % int5)) ((((((triple7) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple6 triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple6 ((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple7) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple7) -> (rule5 % int3)) ((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple6 ((((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple7) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((((triple9) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((triple6 ((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple7) -> (rule5 % int5)) ((((((((triple9) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((((triple4) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple2) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple1 ((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((triple1 ((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple4) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2) -> (rule5 % int4)) ((((((triple5) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple4) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple5) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple4) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple4) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((triple1 ((((((((triple4) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple2) -> (rule5 % int5)) ((((((((triple4) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int5))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple5) -> (rule1 % int5))) -> (rule5 % int4)) ((((((((triple4) -> (rule8 % int3))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple4) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
((triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((((((triple9) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple7 ((triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple7 ((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple6) -> (rule7 % int5)) ((((triple6) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple7 ((((((triple7) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple6) -> (rule7 % int6)) ((((((triple7) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6