Anne is blue. Anne is kind. Anne is red. Dave is kind. Dave is nice. Gary is blue. Harry is red. Blue people are green. Quiet, kind people are red. If someone is green then they are nice. If someone is big then they are quiet. Kind people are nice. All green, nice people are big. Big, green people are kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Quiet, kind people are red.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
All green, nice people are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Big, green people are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Anne is red.
True
1
proof
[(triple3 OR ((((((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6)) -> rule4) triple2) -> rule2) OR ((((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6)) -> rule4) triple2) -> rule2) OR ((((((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6)) -> rule4) ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6)) -> rule4) ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule7)) -> rule2))]
("Anne" "is" "red" "+")
triple3
((((((((triple1) -> (rule1 % int5)) ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((triple1) -> (rule1 % int5)) ((((triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((triple1) -> (rule1 % int6)) ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule1 % int6)) ((((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple1) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((((((((triple1) -> (rule1 % int6)) ((((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule1 % int6)) ((((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple1) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Dave is not kind.
False
1
inv-proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Gary is green.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "green" "+")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("Gary" "is" "green" "-")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Anne is big.
True
5
proof
[(((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6))]
("Anne" "is" "big" "+")
((((triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is not big.
False
5
inv-proof
[(((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6))]
("Anne" "is" "big" "-")
((((triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
True
6
proof
[(((((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6)) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6)) -> rule4))]
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule1 % int4)) ((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Gary is not big.
False
6
inv-proof
[(((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6))]
("Gary" "is" "big" "-")
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
True
9
proof
[(((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7))]
("Gary" "is" "kind" "+")
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule1 % int4))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is not quiet.
False
7
inv-proof
[(((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6)) -> rule4))]
("Gary" "is" "quiet" "-")
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
True
17
proof
[(((((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6)) -> rule4) ((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule2))]
("Gary" "is" "red" "+")
((((((((triple6) -> (rule1 % int6)) ((((triple6) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple6) -> (rule1 % int6)) ((((triple6) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Gary is not red.
False
17
inv-proof
[(((((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6)) -> rule4) ((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule2))]
("Gary" "is" "red" "-")
((((((((triple6) -> (rule1 % int6)) ((((triple6) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple6) -> (rule1 % int6)) ((((triple6) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Dave is not quiet.
Unknown
inv-rconc
[@3: Dave is quiet.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule1 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is red.
Unknown
rconc
[@4: Dave is red.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule6 <- rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Harry is quiet.
Unknown
rconc
[@3: Harry is quiet.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule1 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule7))] Anne is red.[(triple3 OR ((((((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6)) -> rule4) triple2) -> rule2) OR ((((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6)) -> rule4) triple2) -> rule2) OR ((((((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6)) -> rule4) ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6)) -> rule4) ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule7)) -> rule2))] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((triple4) -> rule5))] Gary is blue.[(triple6)] Harry is red.[(triple7)] @1: Anne is green.[(((triple1) -> rule1))] Anne is nice.[(((triple2) -> rule5) OR ((((triple1) -> rule1)) -> rule3))] Gary is green.[(((triple6) -> rule1))] @2: Anne is big.[(((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6))] Gary is nice.[(((((triple6) -> rule1)) -> rule3))] @3: Anne is quiet.[(((((((triple1) -> rule1) ((triple2) -> rule5)) -> rule6)) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule6)) -> rule4))] Gary is big.[(((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6))] @4: Gary is kind.[(((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7))] Gary is quiet.[(((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6)) -> rule4))] @5: Gary is red.[(((((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6)) -> rule4) ((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple1) -> (rule1 % int4))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple3
((((((((triple1) -> (rule1 % int5)) ((triple2) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((triple1) -> (rule1 % int5)) ((((triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((((((triple1) -> (rule1 % int6)) ((triple2) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule1 % int6)) ((((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple1) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
((((((((triple1) -> (rule1 % int6)) ((((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule1 % int6)) ((((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple1) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((triple4) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule1 % int3)) ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule1 % int4)) ((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple6) -> (rule1 % int4))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((((((((triple6) -> (rule1 % int6)) ((((triple6) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple6) -> (rule1 % int6)) ((((triple6) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) ((triple6) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6