Anne is quiet. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is smart. Erin is big. Erin is green. Erin is red. Gary is furry. Gary is green. All big people are smart. If Dave is smart and Dave is green then Dave is quiet. If someone is green then they are big. All quiet people are red. Green, red people are blue. Smart people are quiet. If Anne is furry and Anne is smart then Anne is green.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
All big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
If Dave is smart and Dave is green then Dave is quiet.
((("Dave" "is" "smart" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "quiet" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Green, red people are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If Anne is furry and Anne is smart then Anne is green.
((("Anne" "is" "furry" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "green" "+"))
Gary is green.
True
1
proof
[(triple12)]
("Gary" "is" "green" "+")
triple12
Dave is not smart.
False
1
inv-proof
[(triple7 OR ((triple2) -> rule1) OR ((((triple5) -> rule3)) -> rule1))]
("Dave" "is" "smart" "-")
triple7
((triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Erin is blue.
True
3
proof
[(((triple9 triple10) -> rule5) OR ((triple9 ((((((triple8) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((triple9 ((((((((triple9) -> rule3)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
("Erin" "is" "blue" "+")
((triple9 triple10) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple9 ((((((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple9 ((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Anne is not red.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "red" "-")
((triple1) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is quiet.
True
3
proof
[(((((triple8) -> rule1)) -> rule6) OR ((((((triple9) -> rule3)) -> rule1)) -> rule6))]
("Erin" "is" "quiet" "+")
((((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is not quiet.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule6) OR ((((((triple9) -> rule3)) -> rule1)) -> rule6))]
("Erin" "is" "quiet" "-")
((((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Gary is quiet.
True
4
proof
[(((((((triple12) -> rule3)) -> rule1)) -> rule6))]
("Gary" "is" "quiet" "+")
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not quiet.
False
4
inv-proof
[(((((((triple12) -> rule3)) -> rule1)) -> rule6))]
("Gary" "is" "quiet" "-")
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
True
5
proof
[(((((((((triple12) -> rule3)) -> rule1)) -> rule6)) -> rule4))]
("Gary" "is" "red" "+")
((((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not red.
False
5
inv-proof
[(((((((((triple12) -> rule3)) -> rule1)) -> rule6)) -> rule4))]
("Gary" "is" "red" "-")
((((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
True
7
proof
[(((triple12 ((((((((triple12) -> rule3)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
("Gary" "is" "blue" "+")
((triple12 ((((((((triple12) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is not blue.
False
7
inv-proof
[(((triple12 ((((((((triple12) -> rule3)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
("Gary" "is" "blue" "-")
((triple12 ((((((((triple12) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Anne is not smart.
Unknown
inv-rconc
[@3: Anne is smart.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule7 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not blue.
Unknown
inv-rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is big.
Unknown
rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Anne" "is" "big" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2 OR ((triple5) -> rule3))] Dave is blue.[(triple3 OR ((triple5 ((triple6) -> rule4)) -> rule5) OR ((triple5 ((((triple7) -> rule6)) -> rule4)) -> rule5) OR ((triple5 ((((triple7 triple5) -> rule2)) -> rule4)) -> rule5) OR ((triple5 ((((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((triple5 ((((((triple2) -> rule1) triple5) -> rule2)) -> rule4)) -> rule5) OR ((triple5 ((((((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((triple5 ((((((((triple5) -> rule3)) -> rule1) triple5) -> rule2)) -> rule4)) -> rule5))] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6 OR ((triple7) -> rule6) OR ((triple7 triple5) -> rule2) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule1) triple5) -> rule2) OR ((((((triple5) -> rule3)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) triple5) -> rule2))] Dave is smart.[(triple7 OR ((triple2) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Erin is big.[(triple8 OR ((triple9) -> rule3))] Erin is green.[(triple9)] Erin is red.[(triple10 OR ((((((triple8) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple9) -> rule3)) -> rule1)) -> rule6)) -> rule4))] Gary is furry.[(triple11)] Gary is green.[(triple12)] @1: Anne is red.[(((triple1) -> rule4))] Dave is red.[(((triple6) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((((triple7 triple5) -> rule2)) -> rule4) OR ((((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple2) -> rule1) triple5) -> rule2)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple5) -> rule3)) -> rule1) triple5) -> rule2)) -> rule4))] Erin is blue.[(((triple9 triple10) -> rule5) OR ((triple9 ((((((triple8) -> rule1)) -> rule6)) -> rule4)) -> rule5) OR ((triple9 ((((((((triple9) -> rule3)) -> rule1)) -> rule6)) -> rule4)) -> rule5))] Erin is smart.[(((triple8) -> rule1) OR ((((triple9) -> rule3)) -> rule1))] Gary is big.[(((triple12) -> rule3))] @2: Erin is quiet.[(((((triple8) -> rule1)) -> rule6) OR ((((((triple9) -> rule3)) -> rule1)) -> rule6))] Gary is smart.[(((((triple12) -> rule3)) -> rule1))] @3: Gary is quiet.[(((((((triple12) -> rule3)) -> rule1)) -> rule6))] @4: Gary is red.[(((((((((triple12) -> rule3)) -> rule1)) -> rule6)) -> rule4))] @5: Gary is blue.[(((triple12 ((((((((triple12) -> rule3)) -> rule1)) -> rule6)) -> rule4)) -> rule5))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
((triple5) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
((triple5 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple5 ((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple5 ((((triple7 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple5 ((((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((triple5 ((((((triple2) -> (rule1 % int4)) triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((triple5 ((((((((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((triple5 ((((((((triple5) -> (rule3 % int5))) -> (rule1 % int4)) triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
((triple7) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple7 triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple2) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple7
((triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple8
((triple9) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
((((((triple8) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((((triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple6) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple7 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple2) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule1 % int3)) triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((triple9 triple10) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple9 ((((((triple8) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple9 ((((((((triple9) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple12) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((((triple12) -> (rule3 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
((((((((triple12) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((triple12 ((((((((triple12) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5