Anne is blue. Anne is furry. Anne is green. Fiona is blue. Fiona is furry. Fiona is round. Harry is green. Harry is quiet. Harry is rough. Harry is round. If someone is blue and quiet then they are round. All rough people are green. If someone is furry and round then they are nice. If someone is green then they are furry. If Anne is blue and Anne is quiet then Anne is furry. If someone is nice and furry then they are quiet. If Anne is quiet and Anne is furry then Anne is blue. If someone is round then they are green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is blue and quiet then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and round then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Anne is blue and Anne is quiet then Anne is furry.
((("Anne" "is" "blue" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "furry" "+"))
If someone is nice and furry then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If Anne is quiet and Anne is furry then Anne is blue.
((("Anne" "is" "quiet" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "blue" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Anne is furry.
True
1
proof
[(triple2 OR ((triple3) -> rule4))]
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is not quiet.
False
1
inv-proof
[(triple8 OR ((((((triple7) -> rule4) triple10) -> rule3) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4) triple10) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule6) OR ((((((triple7) -> rule4) triple10) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) ((triple7) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule4) triple10) -> rule3) ((triple7) -> rule4)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule4) triple10) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule4) triple10) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule6))]
("Harry" "is" "quiet" "-")
triple8
((((((triple7) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7) -> (rule4 % int4)) triple10) -> (rule3 % int3)) ((((triple10) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple7) -> (rule4 % int4)) triple10) -> (rule3 % int3)) ((((triple9) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is furry.
True
2
proof
[(((triple7) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((triple9) -> rule2)) -> rule4))]
("Harry" "is" "furry" "+")
((triple7) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Fiona is not green.
False
2
inv-proof
[(((triple6) -> rule8))]
("Fiona" "is" "green" "-")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
True
5
proof
[(((((triple5 triple6) -> rule3) triple5) -> rule6) OR ((((triple5 triple6) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple6) -> rule8)) -> rule4) triple6) -> rule3) triple5) -> rule6) OR ((((((((triple6) -> rule8)) -> rule4) triple6) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule6))]
("Fiona" "is" "quiet" "+")
((((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple5 triple6) -> (rule3 % int4)) ((((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple6) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple6) -> (rule3 % int2)) ((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Harry is not nice.
False
4
inv-proof
[(((((triple7) -> rule4) triple10) -> rule3) OR ((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) triple10) -> rule3))]
("Harry" "is" "nice" "-")
((((triple7) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Anne is not round.
Unknown
inv-rconc
[@3: Anne is round.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is quiet.
Unknown
rconc
[@3: Anne is quiet.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule1 <- FAIL)]]
("Anne" "is" "quiet" "+")
Anne is not nice.
Unknown
inv-rconc
[@3: Anne is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule6 <- FAIL)]]
("Anne" "is" "nice" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule4))] Anne is green.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5 OR ((((triple6) -> rule8)) -> rule4))] Fiona is round.[(triple6)] Harry is green.[(triple7 OR ((triple10) -> rule8) OR ((triple9) -> rule2))] Harry is quiet.[(triple8 OR ((((((triple7) -> rule4) triple10) -> rule3) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4) triple10) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule6) OR ((((((triple7) -> rule4) triple10) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) ((triple7) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule4) triple10) -> rule3) ((triple7) -> rule4)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule4) triple10) -> rule3) ((((triple10) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule4) triple10) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule6))] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Fiona is green.[(((triple6) -> rule8))] Fiona is nice.[(((triple5 triple6) -> rule3) OR ((((((triple6) -> rule8)) -> rule4) triple6) -> rule3))] Harry is furry.[(((triple7) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((triple9) -> rule2)) -> rule4))] @2: Fiona is quiet.[(((((triple5 triple6) -> rule3) triple5) -> rule6) OR ((((triple5 triple6) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple6) -> rule8)) -> rule4) triple6) -> rule3) triple5) -> rule6) OR ((((((((triple6) -> rule8)) -> rule4) triple6) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule6))] Harry is nice.[(((((triple7) -> rule4) triple10) -> rule3) OR ((((((triple10) -> rule8)) -> rule4) triple10) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) triple10) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((((triple6) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
((triple10) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple9) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
((((((triple7) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7) -> (rule4 % int4)) triple10) -> (rule3 % int3)) ((((triple10) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple7) -> (rule4 % int4)) triple10) -> (rule3 % int3)) ((((triple9) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3)) triple10) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple5 triple6) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((((triple6) -> (rule8 % int3))) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((triple7) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple5 triple6) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple5 triple6) -> (rule3 % int4)) ((((triple6) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple6) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule4 % int3)) triple6) -> (rule3 % int2)) ((((triple6) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3