Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is smart. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. All nice, smart people are furry. If someone is kind and red then they are nice. If someone is furry then they are red. Big, furry people are red. If Charlie is round then Charlie is furry. Nice people are smart. All smart, big people are nice. If someone is round and smart then they are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
All nice, smart people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Big, furry people are red.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Charlie is round then Charlie is furry.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "furry" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
All smart, big people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and smart then they are big.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Charlie is red.
True
1
proof
[(triple9 OR ((triple7) -> rule3) OR ((((triple10) -> rule5)) -> rule3))]
("Charlie" "is" "red" "+")
triple9
((triple7) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Bob is not nice.
False
1
inv-proof
[(triple4 OR ((triple3 triple5) -> rule2) OR ((triple6 triple1) -> rule7) OR ((triple3 ((triple2) -> rule3)) -> rule2) OR ((triple3 ((triple1 triple2) -> rule4)) -> rule2))]
("Bob" "is" "nice" "-")
triple4
((triple3 triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple6 triple1) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple3 ((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is nice.
True
3
proof
[(((triple8 triple9) -> rule2) OR ((triple8 ((triple7) -> rule3)) -> rule2) OR ((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2))]
("Charlie" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple8 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple8 ((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is not nice.
False
3
inv-proof
[(((triple8 triple9) -> rule2) OR ((triple8 ((triple7) -> rule3)) -> rule2) OR ((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2))]
("Charlie" "is" "nice" "-")
((triple8 triple9) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple8 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple8 ((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
True
4
proof
[(((((triple8 triple9) -> rule2)) -> rule6) OR ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6) OR ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6))]
("Charlie" "is" "smart" "+")
((((triple8 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple8 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple8 ((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is not smart.
False
4
inv-proof
[(((((triple8 triple9) -> rule2)) -> rule6) OR ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6) OR ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6))]
("Charlie" "is" "smart" "-")
((((triple8 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple8 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple8 ((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
True
6
proof
[(((triple10 ((((triple8 triple9) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6)) -> rule8))]
("Charlie" "is" "big" "+")
((triple10 ((((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple10 ((((triple8 ((triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((triple10 ((((triple8 ((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is not big.
False
6
inv-proof
[(((triple10 ((((triple8 triple9) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6)) -> rule8))]
("Charlie" "is" "big" "-")
((triple10 ((((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple10 ((((triple8 ((triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((triple10 ((((triple8 ((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1) OR ((((triple3 triple5) -> rule2) triple6) -> rule1) OR ((((triple6 triple1) -> rule7) triple6) -> rule1) OR ((((triple3 triple5) -> rule2) ((triple4) -> rule6)) -> rule1) OR ((((triple6 triple1) -> rule7) ((triple4) -> rule6)) -> rule1) OR ((triple4 ((((triple3 triple5) -> rule2)) -> rule6)) -> rule1) OR ((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule6)) -> rule1) OR ((((triple6 triple1) -> rule7) ((((triple3 triple5) -> rule2)) -> rule6)) -> rule1))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple3 triple5) -> rule2) OR ((triple6 triple1) -> rule7) OR ((triple3 ((triple2) -> rule3)) -> rule2) OR ((triple3 ((triple1 triple2) -> rule4)) -> rule2))] Bob is red.[(triple5 OR ((triple2) -> rule3) OR ((triple1 triple2) -> rule4) OR ((((triple4 triple6) -> rule1)) -> rule3) OR ((triple1 ((triple4 triple6) -> rule1)) -> rule4) OR ((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((((triple6 triple1) -> rule7) triple6) -> rule1)) -> rule3) OR ((triple1 ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule4) OR ((triple1 ((((triple6 triple1) -> rule7) triple6) -> rule1)) -> rule4) OR ((((((triple6 triple1) -> rule7) ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((triple1 ((((triple6 triple1) -> rule7) ((triple4) -> rule6)) -> rule1)) -> rule4))] Bob is smart.[(triple6 OR ((triple4) -> rule6) OR ((((triple3 triple5) -> rule2)) -> rule6) OR ((((triple3 ((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((triple3 ((triple1 triple2) -> rule4)) -> rule2)) -> rule6))] Charlie is furry.[(triple7 OR ((triple10) -> rule5) OR ((((triple8 triple9) -> rule2) ((((triple8 triple9) -> rule2)) -> rule6)) -> rule1))] Charlie is kind.[(triple8)] Charlie is red.[(triple9 OR ((triple7) -> rule3) OR ((((triple10) -> rule5)) -> rule3))] Charlie is round.[(triple10)] @1: Charlie is nice.[(((triple8 triple9) -> rule2) OR ((triple8 ((triple7) -> rule3)) -> rule2) OR ((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2))] @2: Charlie is smart.[(((((triple8 triple9) -> rule2)) -> rule6) OR ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6) OR ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6))] @3: Charlie is big.[(((triple10 ((((triple8 triple9) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6)) -> rule8))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple4 triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple4 ((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple6 triple1) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 triple5) -> (rule2 % int3)) ((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple6 triple1) -> (rule7 % int3)) ((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple4 ((((triple3 triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple3 triple5) -> (rule2 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple6 triple1) -> (rule7 % int3)) ((((triple3 triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple3 triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple6 triple1) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple3 ((triple1 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple2) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple1 triple2) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple4 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple1 ((triple4 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple6 triple1) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple1 ((triple4 ((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple1 ((((triple6 triple1) -> (rule7 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple6 triple1) -> (rule7 % int4)) ((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple1 ((((triple6 triple1) -> (rule7 % int4)) ((triple4) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple4) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple3 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 ((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 ((triple1 triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
((triple10) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple8 triple9) -> (rule2 % int3)) ((((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
((triple7) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple8 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple8 ((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple8 triple9) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple8 ((triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((triple8 ((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
((triple10 ((((triple8 triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple10 ((((triple8 ((triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((triple10 ((((triple8 ((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5