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