Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is young. Erin is furry. Erin is young. Fiona is blue. Fiona is furry. Fiona is quiet. All round, green things are red. Red things are furry. If something is blue and young then it is round. If something is quiet and green then it is blue. If something is blue and round then it is green. Furry, young things are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All round, green things are red.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is blue and young then it is round.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If something is quiet and green then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is blue and round then it is green.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Furry, young things are blue.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Anne is quiet.
True
1
proof
[(triple4)]
("Anne" "is" "quiet" "+")
triple4
Fiona is not quiet.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "quiet" "-")
triple12
Erin is blue.
True
3
proof
[(((triple8 triple9) -> rule6))]
("Erin" "is" "blue" "+")
((triple8 triple9) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
3
inv-proof
[(((triple8 triple9) -> rule6))]
("Erin" "is" "blue" "-")
((triple8 triple9) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
True
5
proof
[(((((triple8 triple9) -> rule6) triple9) -> rule3))]
("Erin" "is" "round" "+")
((((triple8 triple9) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not round.
False
5
inv-proof
[(((((triple8 triple9) -> rule6) triple9) -> rule3))]
("Erin" "is" "round" "-")
((((triple8 triple9) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
True
9
proof
[(((((triple8 triple9) -> rule6) ((((triple8 triple9) -> rule6) triple9) -> rule3)) -> rule5))]
("Erin" "is" "green" "+")
((((triple8 triple9) -> (rule6 % int3)) ((((triple8 triple9) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is not green.
False
9
inv-proof
[(((((triple8 triple9) -> rule6) ((((triple8 triple9) -> rule6) triple9) -> rule3)) -> rule5))]
("Erin" "is" "green" "-")
((((triple8 triple9) -> (rule6 % int3)) ((((triple8 triple9) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Fiona is not green.
Unknown
inv-rconc
[@2: Fiona is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is red.
Unknown
rconc
[@2: Fiona is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "round" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is blue.[(triple1 OR ((triple2 triple7) -> rule6) OR ((triple4 triple3) -> rule4) OR ((((triple5) -> rule2) triple7) -> rule6) OR ((((((triple6 triple3) -> rule1)) -> rule2) triple7) -> rule6))] Anne is furry.[(triple2 OR ((triple5) -> rule2) OR ((((triple6 triple3) -> rule1)) -> rule2) OR ((((triple6 ((triple1 triple6) -> rule5)) -> rule1)) -> rule2) OR ((((((triple1 triple7) -> rule3) triple3) -> rule1)) -> rule2) OR ((((((triple1 triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1)) -> rule2) OR ((((triple6 ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple4 triple3) -> rule4) triple7) -> rule3) triple3) -> rule1)) -> rule2) OR ((((((triple1 triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1)) -> rule2))] Anne is green.[(triple3 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple1 triple7) -> rule3)) -> rule5) OR ((((triple2 triple7) -> rule6) triple6) -> rule5) OR ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5) OR ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) triple6) -> rule5) OR ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((triple1 ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((triple2 triple7) -> rule6) ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3)) -> rule5) OR ((((((triple5) -> rule2) triple7) -> rule6) ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3)) -> rule5))] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6 triple3) -> rule1) OR ((triple6 ((triple1 triple6) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) triple3) -> rule1) OR ((((triple1 triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1) OR ((triple6 ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((triple6 ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) triple3) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) triple3) -> rule1) OR ((triple6 ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 triple6) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((((triple2 triple7) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((triple1 triple7) -> rule3)) -> rule5)) -> rule1) OR ((triple6 ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((triple6 ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule3) ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((triple1 ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2 triple7) -> rule6) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple3) -> rule4) triple7) -> rule3) ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6) triple7) -> rule3)) -> rule5)) -> rule1))] Anne is round.[(triple6 OR ((triple1 triple7) -> rule3) OR ((((triple2 triple7) -> rule6) triple7) -> rule3) OR ((((triple4 triple3) -> rule4) triple7) -> rule3) OR ((((((triple5) -> rule2) triple7) -> rule6) triple7) -> rule3))] Anne is young.[(triple7)] Erin is furry.[(triple8)] Erin is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] @1: Erin is blue.[(((triple8 triple9) -> rule6))] @2: Erin is round.[(((((triple8 triple9) -> rule6) triple9) -> rule3))] @3: Erin is green.[(((((triple8 triple9) -> rule6) ((((triple8 triple9) -> rule6) triple9) -> rule3)) -> rule5))] @4: Erin is red.[(((((((triple8 triple9) -> rule6) triple9) -> rule3) ((((triple8 triple9) -> rule6) ((((triple8 triple9) -> rule6) triple9) -> rule3)) -> rule5)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2 triple7) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple5) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple6 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple5) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple6 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple6 ((triple1 triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1 triple7) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1 triple7) -> (rule3 % int4)) ((triple1 triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple6 ((triple1 ((triple1 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple4 triple3) -> (rule4 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple1 triple7) -> (rule3 % int4)) ((triple1 ((triple1 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple4 triple3) -> (rule4 % int5)) triple7) -> (rule3 % int4)) ((triple1 triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((((triple4 triple3) -> (rule4 % int5)) triple7) -> (rule3 % int4)) ((triple1 ((triple1 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple1 triple6) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple1 ((triple1 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2 triple7) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2 triple7) -> (rule6 % int3)) ((triple1 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple2 triple7) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple5) -> (rule2 % int3)) triple7) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2 triple7) -> (rule6 % int3)) ((((triple2 triple7) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple5) -> (rule2 % int4)) triple7) -> (rule6 % int3)) ((triple1 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple5) -> (rule2 % int4)) triple7) -> (rule6 % int3)) ((((triple2 triple7) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple1 ((((((triple5) -> (rule2 % int4)) triple7) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple2 triple7) -> (rule6 % int4)) ((((((triple5) -> (rule2 % int3)) triple7) -> (rule6 % int4)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple5) -> (rule2 % int4)) triple7) -> (rule6 % int3)) ((((((triple5) -> (rule2 % int4)) triple7) -> (rule6 % int3)) triple7) -> (rule3 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple6 triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple6 ((triple1 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1 triple7) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1 triple7) -> (rule3 % int3)) ((triple1 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((triple1 ((triple1 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((((triple2 triple7) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple2 triple7) -> (rule6 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple3) -> (rule4 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple6 ((((triple2 triple7) -> (rule6 % int4)) ((triple1 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 triple7) -> (rule3 % int3)) ((triple1 ((triple1 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1 triple7) -> (rule3 % int4)) ((((triple2 triple7) -> (rule6 % int3)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3)) ((triple1 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4 triple3) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((triple1 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 triple7) -> (rule3 % int4)) ((((triple2 triple7) -> (rule6 % int3)) ((triple1 triple7) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3)) ((triple1 ((triple1 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3)) ((((triple2 triple7) -> (rule6 % int4)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4 triple3) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((triple1 ((triple1 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4 triple3) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((((triple2 triple7) -> (rule6 % int4)) triple6) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3)) ((((triple2 triple7) -> (rule6 % int4)) ((triple1 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4 triple3) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((((triple2 triple7) -> (rule6 % int4)) ((triple1 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple6 ((triple1 ((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple6 ((((triple2 triple7) -> (rule6 % int4)) ((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 triple7) -> (rule3 % int4)) ((triple1 ((((triple2 triple7) -> (rule6 % int3)) triple7) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1 triple7) -> (rule3 % int4)) ((((triple2 triple7) -> (rule6 % int3)) ((((triple2 triple7) -> (rule6 % int3)) triple7) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3)) ((triple1 ((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4 triple3) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((triple1 ((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3)) ((((triple2 triple7) -> (rule6 % int4)) ((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4 triple3) -> (rule4 % int4)) triple7) -> (rule3 % int3)) ((((triple2 triple7) -> (rule6 % int4)) ((((triple2 triple7) -> (rule6 % int4)) triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1 triple7) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple2 triple7) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple5) -> (rule2 % int3)) triple7) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Erin is blue.
("Erin" "is" "blue" "+")
((triple8 triple9) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple8 triple9) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple8 triple9) -> (rule6 % int3)) ((((triple8 triple9) -> (rule6 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((((triple8 triple9) -> (rule6 % int4)) triple9) -> (rule3 % int3)) ((((triple8 triple9) -> (rule6 % int4)) ((((triple8 triple9) -> (rule6 % int4)) triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4