Anne is big. Anne is green. Anne is not red. Anne is rough. Anne is not young. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Fiona is nice. Gary is furry. Gary is nice. Young people are nice. Big, rough people are furry. All big people are furry. Rough people are green. Red, green people are big. Nice people are red. If someone is big and not nice then they are red. If someone is red then they are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not young.
("Anne" "is" "young" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Big, rough people are furry.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Red, green people are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is big and not nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "red" "+"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Erin is red.
True
1
proof
[(triple10 OR ((triple9) -> rule6))]
("Erin" "is" "red" "+")
triple10
((triple9) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is not furry.
False
1
inv-proof
[(triple13 OR ((((((triple14) -> rule6) ((((((triple14) -> rule6)) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple14) -> rule6) ((((((triple14) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((((triple14) -> rule6)) -> rule8)) -> rule2))]
("Gary" "is" "furry" "-")
triple13
((((((triple14) -> (rule6 % int5)) ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is red.
True
2
proof
[(((triple14) -> rule6))]
("Gary" "is" "red" "+")
((triple14) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple14) -> rule6))]
("Gary" "is" "red" "-")
((triple14) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
True
3
proof
[(((((triple14) -> rule6)) -> rule8))]
("Gary" "is" "rough" "+")
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not rough.
False
3
inv-proof
[(((((triple14) -> rule6)) -> rule8))]
("Gary" "is" "rough" "-")
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Fiona is green.
True
4
proof
[(((((((triple12) -> rule6)) -> rule8)) -> rule4))]
("Fiona" "is" "green" "+")
((((((triple12) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is not green.
False
4
inv-proof
[(((((((triple14) -> rule6)) -> rule8)) -> rule4))]
("Gary" "is" "green" "-")
((((((triple14) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Fiona is big.
True
7
proof
[(((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5))]
("Fiona" "is" "big" "+")
((((triple12) -> (rule6 % int4)) ((((((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not big.
False
7
inv-proof
[(((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5))]
("Fiona" "is" "big" "-")
((((triple12) -> (rule6 % int4)) ((((((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is furry.
True
8
proof
[(((((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((((triple12) -> rule6)) -> rule8)) -> rule2))]
("Fiona" "is" "furry" "+")
((((((triple12) -> (rule6 % int5)) ((((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple12) -> (rule6 % int5)) ((((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is not furry.
False
8
inv-proof
[(((((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((((triple12) -> rule6)) -> rule8)) -> rule2))]
("Fiona" "is" "furry" "-")
((((((triple12) -> (rule6 % int5)) ((((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple12) -> (rule6 % int5)) ((((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple4) -> rule4))] Anne is not red.[(triple3)] Anne is not young.[(triple5)] Anne is rough.[(triple4)] Erin is big.[(triple6 OR ((triple10 triple8) -> rule5) OR ((triple10 ((triple11) -> rule4)) -> rule5) OR ((((triple9) -> rule6) triple8) -> rule5) OR ((((triple9) -> rule6) ((triple11) -> rule4)) -> rule5) OR ((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule5) OR ((((triple9) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule5) OR ((triple10 ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) OR ((((triple9) -> rule6) ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5))] Erin is furry.[(triple7 OR ((triple6) -> rule3) OR ((triple6 triple11) -> rule2) OR ((((triple10 triple8) -> rule5)) -> rule3) OR ((triple6 ((triple10) -> rule8)) -> rule2) OR ((((triple10 triple8) -> rule5) triple11) -> rule2) OR ((((triple10 triple8) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((triple10 ((triple11) -> rule4)) -> rule5)) -> rule3) OR ((((((triple9) -> rule6) triple8) -> rule5)) -> rule3) OR ((triple6 ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((triple10 ((triple11) -> rule4)) -> rule5) triple11) -> rule2) OR ((((((triple9) -> rule6) triple8) -> rule5) triple11) -> rule2) OR ((((((triple9) -> rule6) ((triple11) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 triple8) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((triple10 ((triple11) -> rule4)) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) triple8) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((triple11) -> rule4)) -> rule5) triple11) -> rule2) OR ((((triple10 ((triple11) -> rule4)) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) triple8) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((triple11) -> rule4)) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((triple11) -> rule4)) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule5) triple11) -> rule2) OR ((((((triple9) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule5) triple11) -> rule2) OR ((((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((((triple10) -> rule8)) -> rule4)) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((triple10 ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) triple11) -> rule2) OR ((((((triple9) -> rule6) ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((triple10 ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) triple11) -> rule2) OR ((((triple10 ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((((((triple9) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((((triple9) -> rule6)) -> rule8)) -> rule2))] Erin is green.[(triple8 OR ((triple11) -> rule4) OR ((((triple10) -> rule8)) -> rule4) OR ((((((triple9) -> rule6)) -> rule8)) -> rule4))] Erin is nice.[(triple9)] Erin is red.[(triple10 OR ((triple9) -> rule6))] Erin is rough.[(triple11 OR ((triple10) -> rule8) OR ((((triple9) -> rule6)) -> rule8))] Fiona is nice.[(triple12)] Gary is furry.[(triple13 OR ((((((triple14) -> rule6) ((((((triple14) -> rule6)) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple14) -> rule6) ((((((triple14) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((((triple14) -> rule6)) -> rule8)) -> rule2))] Gary is nice.[(triple14)] @1: Anne is furry.[(((triple1) -> rule3) OR ((triple1 triple4) -> rule2))] Fiona is red.[(((triple12) -> rule6))] Gary is red.[(((triple14) -> rule6))] @2: Fiona is rough.[(((((triple12) -> rule6)) -> rule8))] Gary is rough.[(((((triple14) -> rule6)) -> rule8))] @3: Fiona is green.[(((((((triple12) -> rule6)) -> rule8)) -> rule4))] Gary is green.[(((((((triple14) -> rule6)) -> rule8)) -> rule4))] @4: Fiona is big.[(((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5))] Gary is big.[(((((triple14) -> rule6) ((((((triple14) -> rule6)) -> rule8)) -> rule4)) -> rule5))] @5: Fiona is furry.[(((((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5)) -> rule3) OR ((((((triple12) -> rule6) ((((((triple12) -> rule6)) -> rule8)) -> rule4)) -> rule5) ((((triple12) -> rule6)) -> rule8)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple6
((triple10 triple8) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple10 ((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple9) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple10 ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple9) -> (rule6 % int4)) ((((triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((triple10 ((((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple9) -> (rule6 % int4)) ((((((triple9) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple6) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple6 triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple10 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple6 ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple10 triple8) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple10 triple8) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple10 ((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple9) -> (rule6 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple6 ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple10 ((triple11) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple9) -> (rule6 % int3)) triple8) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple9) -> (rule6 % int4)) ((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple10 triple8) -> (rule5 % int4)) ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple10 ((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple9) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple11) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple10 ((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple9) -> (rule6 % int4)) triple8) -> (rule5 % int3)) ((((triple9) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple9) -> (rule6 % int5)) ((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple9) -> (rule6 % int5))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple10 ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple10 ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple9) -> (rule6 % int5)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple10 ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple10) -> (rule8 % int4))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple9) -> (rule6 % int5)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple10 ((((triple10) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple9) -> (rule6 % int2))) -> (rule8 % int5))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple9) -> (rule6 % int5)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple10) -> (rule8 % int4))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((((triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple10 ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple10 ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple10 ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple10) -> (rule8 % int4))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple10 ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((triple10) -> (rule8 % int4))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple9) -> (rule6 % int5)) ((((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple9) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
triple8
((triple11) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
((triple9) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple10) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
((((((triple14) -> (rule6 % int5)) ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple14) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple1 triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple12) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple14) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple12) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple12) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((((triple14) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((((triple12) -> (rule6 % int4)) ((((((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((((triple14) -> (rule6 % int4)) ((((((triple14) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple12) -> (rule6 % int5)) ((((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple12) -> (rule6 % int5)) ((((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) ((((triple12) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5