Anne is green. Anne is kind. Anne is white. Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is white. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is white. White, green people are kind. All furry people are big. All quiet people are big. If someone is big and furry then they are quiet. If someone is white then they are furry. If Charlie is furry and Charlie is green then Charlie is kind. All quiet, furry people are blue. If Charlie is white and Charlie is kind then Charlie is blue.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
White, green people are kind.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is big and furry then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is furry and Charlie is green then Charlie is kind.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "kind" "+"))
All quiet, furry people are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If Charlie is white and Charlie is kind then Charlie is blue.
((("Charlie" "is" "white" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "blue" "+"))
Charlie is quiet.
True
1
proof
[(triple8 OR ((triple4 ((triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule5)) -> rule2) ((triple9) -> rule5)) -> rule4))]
("Charlie" "is" "quiet" "+")
triple8
((triple4 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Gary is not blue.
False
1
inv-proof
[(triple11 OR ((((triple10 triple12) -> rule4) triple12) -> rule7) OR ((((triple10 triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((triple10 ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((triple12) -> rule2) triple12) -> rule4) triple12) -> rule7) OR ((((triple10 ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) triple12) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7))]
("Gary" "is" "blue" "-")
triple11
((((triple10 triple12) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10 triple12) -> (rule4 % int3)) ((triple15) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10 ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple12) -> (rule2 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10 ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) ((triple15) -> (rule5 % int3))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple12) -> (rule2 % int4)) triple12) -> (rule4 % int3)) ((triple15) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple12) -> (rule2 % int4)) ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple12) -> (rule2 % int4)) ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) ((triple15) -> (rule5 % int3))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) triple12) -> (rule4 % int2)) ((triple15) -> (rule5 % int4))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) ((triple15) -> (rule5 % int4))) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) ((triple15) -> (rule5 % int4))) -> (rule4 % int2)) ((triple15) -> (rule5 % int4))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Anne is furry.
True
2
proof
[(((triple3) -> rule5))]
("Anne" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple9) -> rule5))]
("Charlie" "is" "furry" "-")
((triple9) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Anne is big.
True
3
proof
[(((((triple3) -> rule5)) -> rule2))]
("Anne" "is" "big" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not big.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule2))]
("Anne" "is" "big" "-")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
True
6
proof
[(((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))]
("Anne" "is" "quiet" "+")
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is not quiet.
False
6
inv-proof
[(((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))]
("Anne" "is" "quiet" "-")
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple3 triple1) -> rule1))] Anne is white.[(triple3)] Charlie is big.[(triple4 OR ((triple8) -> rule3) OR ((((triple9) -> rule5)) -> rule2))] Charlie is blue.[(triple5 OR ((triple9 triple7) -> rule8) OR ((triple8 ((triple9) -> rule5)) -> rule7) OR ((triple9 ((triple9 triple6) -> rule1)) -> rule8) OR ((triple9 ((((triple9) -> rule5) triple6) -> rule6)) -> rule8) OR ((((triple4 ((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule7) OR ((((((((triple9) -> rule5)) -> rule2) ((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule7))] Charlie is green.[(triple6)] Charlie is kind.[(triple7 OR ((triple9 triple6) -> rule1) OR ((((triple9) -> rule5) triple6) -> rule6))] Charlie is quiet.[(triple8 OR ((triple4 ((triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule5)) -> rule2) ((triple9) -> rule5)) -> rule4))] Charlie is white.[(triple9)] Gary is big.[(triple10 OR ((triple12) -> rule2) OR ((((triple15) -> rule5)) -> rule2))] Gary is blue.[(triple11 OR ((((triple10 triple12) -> rule4) triple12) -> rule7) OR ((((triple10 triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((triple10 ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((triple12) -> rule2) triple12) -> rule4) triple12) -> rule7) OR ((((triple10 ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) triple12) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7))] Gary is furry.[(triple12 OR ((triple15) -> rule5))] Gary is green.[(triple13)] Gary is kind.[(triple14 OR ((triple15 triple13) -> rule1))] Gary is white.[(triple15)] @1: Anne is furry.[(((triple3) -> rule5))] Charlie is furry.[(((triple9) -> rule5))] Gary is quiet.[(((triple10 triple12) -> rule4) OR ((triple10 ((triple15) -> rule5)) -> rule4) OR ((((triple12) -> rule2) triple12) -> rule4) OR ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) OR ((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) OR ((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4))] @2: Anne is big.[(((((triple3) -> rule5)) -> rule2))] @3: Anne is quiet.[(((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))] @4: Anne is blue.[(((((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple3 triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((triple8) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((triple9 triple7) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple8 ((triple9) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple9 ((triple9 triple6) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple9 ((((triple9) -> (rule5 % int3)) triple6) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple4 ((triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9) -> (rule5 % int3))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((((triple9) -> (rule5 % int4))) -> (rule2 % int3)) ((triple9) -> (rule5 % int4))) -> (rule4 % int2)) ((triple9) -> (rule5 % int4))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
((triple9 triple6) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple9) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
((triple4 ((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2)) ((triple9) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple12) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple15) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((((triple10 triple12) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10 triple12) -> (rule4 % int3)) ((triple15) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10 ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple12) -> (rule2 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10 ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) ((triple15) -> (rule5 % int3))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple12) -> (rule2 % int4)) triple12) -> (rule4 % int3)) ((triple15) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple12) -> (rule2 % int4)) ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple12) -> (rule2 % int4)) ((triple15) -> (rule5 % int3))) -> (rule4 % int2)) ((triple15) -> (rule5 % int3))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) triple12) -> (rule4 % int2)) ((triple15) -> (rule5 % int4))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) ((triple15) -> (rule5 % int4))) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple15) -> (rule5 % int4))) -> (rule2 % int3)) ((triple15) -> (rule5 % int4))) -> (rule4 % int2)) ((triple15) -> (rule5 % int4))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple15) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
((triple15 triple13) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple9) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10 triple12) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple10 ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple12) -> (rule2 % int2)) triple12) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple15) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple15) -> (rule5 % int3))) -> (rule2 % int2)) ((triple15) -> (rule5 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((((((((triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple3) -> (rule5 % int4))) -> (rule4 % int2)) ((triple3) -> (rule5 % int4))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4