Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Gary is kind. Gary is nice. Gary is round. All furry, nice people are red. Red, furry people are green. If Gary is furry then Gary is green. If someone is red and furry then they are quiet. If someone is kind then they are furry. All kind, round people are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
All furry, nice people are red.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Red, furry people are green.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If Gary is furry then Gary is green.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "green" "+"))
If someone is red and furry then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All kind, round people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Dave is kind.
True
1
proof
[(triple6)]
("Dave" "is" "kind" "+")
triple6
Anne is not nice.
False
1
inv-proof
[(triple4)]
("Anne" "is" "nice" "-")
triple4
Dave is furry.
True
2
proof
[(((triple6) -> rule5) OR ((triple6 triple9) -> rule6))]
("Dave" "is" "furry" "+")
((triple6) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 triple9) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Anne is not red.
False
3
inv-proof
[(((triple1 triple4) -> rule1) OR ((((triple3) -> rule5) triple4) -> rule1))]
("Anne" "is" "red" "-")
((triple1 triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple3) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Gary is red.
True
4
proof
[(((((triple10) -> rule5) triple11) -> rule1) OR ((((triple10 triple12) -> rule6) triple11) -> rule1))]
("Gary" "is" "red" "+")
((((triple10) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple10 triple12) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not green.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule3) OR ((((triple10 triple12) -> rule6)) -> rule3) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10) -> rule5)) -> rule2) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule2) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10) -> rule5)) -> rule2) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule2))]
("Gary" "is" "green" "-")
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple10 triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
True
7
proof
[(((((((triple10) -> rule5) triple11) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule4) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule4))]
("Gary" "is" "quiet" "+")
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Dave is not green.
False
7
inv-proof
[(((((((triple6) -> rule5) triple7) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((((((triple6) -> rule5) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule2) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule2))]
("Dave" "is" "green" "-")
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) ((triple6 triple9) -> (rule6 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) ((triple6 triple9) -> (rule6 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
@0: Anne is furry.[(triple1 OR ((triple3) -> rule5))] Anne is green.[(triple2 OR ((((triple1 triple4) -> rule1) triple1) -> rule2) OR ((((triple1 triple4) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule5) triple4) -> rule1) triple1) -> rule2) OR ((((((triple3) -> rule5) triple4) -> rule1) ((triple3) -> rule5)) -> rule2))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((((triple1 triple4) -> rule1) triple1) -> rule4) OR ((((triple1 triple4) -> rule1) ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5) triple4) -> rule1) triple1) -> rule4) OR ((((((triple3) -> rule5) triple4) -> rule1) ((triple3) -> rule5)) -> rule4))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((((((triple6) -> rule5) triple7) -> rule1) ((triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule5) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule4) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6) -> rule5)) -> rule4) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule4))] Dave is round.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] @1: Anne is red.[(((triple1 triple4) -> rule1) OR ((((triple3) -> rule5) triple4) -> rule1))] Dave is furry.[(((triple6) -> rule5) OR ((triple6 triple9) -> rule6))] Gary is furry.[(((triple10) -> rule5) OR ((triple10 triple12) -> rule6))] @2: Dave is red.[(((((triple6) -> rule5) triple7) -> rule1) OR ((((triple6 triple9) -> rule6) triple7) -> rule1))] Gary is green.[(((((triple10) -> rule5)) -> rule3) OR ((((triple10 triple12) -> rule6)) -> rule3) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10) -> rule5)) -> rule2) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule2) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10) -> rule5)) -> rule2) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule2))] Gary is red.[(((((triple10) -> rule5) triple11) -> rule1) OR ((((triple10 triple12) -> rule6) triple11) -> rule1))] @3: Dave is green.[(((((((triple6) -> rule5) triple7) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((((((triple6) -> rule5) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule2) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule2))] Gary is quiet.[(((((((triple10) -> rule5) triple11) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule4) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule4))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
((((triple1 triple4) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1 triple4) -> (rule1 % int3)) ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple3) -> (rule5 % int3)) triple4) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int3)) triple4) -> (rule1 % int2)) ((triple3) -> (rule5 % int3))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
((((triple1 triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1 triple4) -> (rule1 % int3)) ((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple3) -> (rule5 % int3)) triple4) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int3)) triple4) -> (rule1 % int2)) ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) ((triple6 triple9) -> (rule6 % int3))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) ((triple6 triple9) -> (rule6 % int3))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple1 triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple3) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((triple6) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple6 triple9) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple10 triple12) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple6 triple9) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple10 triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
((((triple10) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple10 triple12) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) ((triple6 triple9) -> (rule6 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) ((triple6) -> (rule5 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) ((triple6 triple9) -> (rule6 % int3))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule5 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10) -> (rule5 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10 triple12) -> (rule6 % int3)) triple11) -> (rule1 % int2)) ((triple10 triple12) -> (rule6 % int3))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3