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