Anne is kind. Anne is nice. Anne is quiet. Anne is red. Bob is blue. Bob is rough. Dave is kind. Dave is red. Dave is white. Gary is rough. All rough things are kind. All blue things are kind. All nice, white things are red. Kind things are blue. Quiet things are nice. If something is blue then it is red. If something is red and kind then it is quiet. Rough, red things are white.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
All nice, white things are red.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is red and kind then it is quiet.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Rough, red things are white.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Gary is rough.
True
1
proof
[(triple10)]
("Gary" "is" "rough" "+")
triple10
Bob is not blue.
False
1
inv-proof
[(triple5 OR ((((triple6) -> rule1)) -> rule4))]
("Bob" "is" "blue" "-")
triple5
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
True
2
proof
[(((triple5) -> rule6) OR ((((((triple6) -> rule1)) -> rule4)) -> rule6))]
("Bob" "is" "red" "+")
((triple5) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not red.
False
2
inv-proof
[(((triple5) -> rule6) OR ((((((triple6) -> rule1)) -> rule4)) -> rule6))]
("Bob" "is" "red" "-")
((triple5) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Gary is blue.
True
3
proof
[(((((triple10) -> rule1)) -> rule4))]
("Gary" "is" "blue" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule4))]
("Gary" "is" "blue" "-")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Bob is nice.
True
6
proof
[(((((((triple5) -> rule6) ((triple5) -> rule2)) -> rule7)) -> rule5) OR ((((((triple5) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple5) -> rule2)) -> rule7)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule5))]
("Bob" "is" "nice" "+")
((((((triple5) -> (rule6 % int4)) ((triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple5) -> (rule2 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is not nice.
False
6
inv-proof
[(((((((triple5) -> rule6) ((triple5) -> rule2)) -> rule7)) -> rule5) OR ((((((triple5) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple5) -> rule2)) -> rule7)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule5))]
("Bob" "is" "nice" "-")
((((((triple5) -> (rule6 % int4)) ((triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple5) -> (rule2 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Gary is white.
True
6
proof
[(((triple10 ((((((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule8))]
("Gary" "is" "white" "+")
((triple10 ((((((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is not quiet.
False
7
inv-proof
[(((((((((triple10) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule1)) -> rule7))]
("Gary" "is" "quiet" "-")
((((((((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple10) -> (rule1 % int4))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is nice.
True
8
proof
[(((((((((((triple10) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule1)) -> rule7)) -> rule5))]
("Gary" "is" "nice" "+")
((((((((((triple10) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not nice.
False
8
inv-proof
[(((((((((((triple10) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule1)) -> rule7)) -> rule5))]
("Gary" "is" "nice" "-")
((((((((((triple10) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule5) OR ((((triple4 triple1) -> rule7)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule6) triple1) -> rule7)) -> rule5))] Anne is quiet.[(triple3 OR ((triple4 triple1) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7))] Anne is red.[(triple4 OR ((((triple1) -> rule4)) -> rule6))] Bob is blue.[(triple5 OR ((((triple6) -> rule1)) -> rule4))] Bob is rough.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8 OR ((((triple7) -> rule4)) -> rule6))] Dave is white.[(triple9)] Gary is rough.[(triple10)] @1: Anne is blue.[(((triple1) -> rule4))] Bob is kind.[(((triple5) -> rule2) OR ((triple6) -> rule1))] Bob is red.[(((triple5) -> rule6) OR ((((((triple6) -> rule1)) -> rule4)) -> rule6))] Dave is blue.[(((triple7) -> rule4))] Dave is quiet.[(((triple8 triple7) -> rule7) OR ((((((triple7) -> rule4)) -> rule6) triple7) -> rule7))] Gary is kind.[(((triple10) -> rule1))] @2: Bob is quiet.[(((((triple5) -> rule6) ((triple5) -> rule2)) -> rule7) OR ((((triple5) -> rule6) ((triple6) -> rule1)) -> rule7) OR ((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple5) -> rule2)) -> rule7) OR ((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple6) -> rule1)) -> rule7))] Bob is white.[(((triple6 ((triple5) -> rule6)) -> rule8) OR ((triple6 ((((((triple6) -> rule1)) -> rule4)) -> rule6)) -> rule8))] Dave is nice.[(((((triple8 triple7) -> rule7)) -> rule5) OR ((((((((triple7) -> rule4)) -> rule6) triple7) -> rule7)) -> rule5))] Gary is blue.[(((((triple10) -> rule1)) -> rule4))] @3: Bob is nice.[(((((((triple5) -> rule6) ((triple5) -> rule2)) -> rule7)) -> rule5) OR ((((((triple5) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple5) -> rule2)) -> rule7)) -> rule5) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule5))] Gary is red.[(((((((triple10) -> rule1)) -> rule4)) -> rule6))] @4: Gary is quiet.[(((((((((triple10) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule1)) -> rule7))] Gary is white.[(((triple10 ((((((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule8))] @5: Gary is nice.[(((((((((((triple10) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule1)) -> rule7)) -> rule5))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple3) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4 triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple4
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple5) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple6) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple5) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((triple7) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple8 triple7) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((((triple7) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((triple10) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple5) -> (rule6 % int3)) ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple6) -> (rule1 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5) -> (rule2 % int4))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((triple6 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple6 ((((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((((triple8 triple7) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((((triple7) -> (rule4 % int4))) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple5) -> (rule6 % int4)) ((triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple6) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple5) -> (rule2 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple10) -> (rule1 % int4))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
((triple10 ((((((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
((((((((((triple10) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple10) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5