Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. Harry is blue. Harry is cold. Harry is red. Blue things are red. Quiet, red things are furry. If something is cold and big then it is furry. All furry, quiet things are cold. All green, cold things are quiet. If something is red then it is green.
Fiona is blue.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3 triple4) -> rule4) OR ((((triple4 ((triple1) -> rule1)) -> rule2) triple4) -> rule4))] Dave is furry.[(triple3 OR ((triple4 ((triple1) -> rule1)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule6) triple2) -> rule5) ((triple1) -> rule1)) -> rule2))] Dave is quiet.[(triple4 OR ((((((triple1) -> rule1)) -> rule6) triple2) -> rule5))] Fiona is blue.[(triple5)] Fiona is cold.[(triple6 OR ((triple7 triple8) -> rule4) OR ((((triple8 triple9) -> rule2) triple8) -> rule4) OR ((((triple8 ((triple5) -> rule1)) -> rule2) triple8) -> rule4))] Fiona is furry.[(triple7 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple5) -> rule1)) -> rule2) OR ((((((triple9) -> rule6) triple6) -> rule5) triple9) -> rule2) OR ((((((triple9) -> rule6) triple6) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1)) -> rule6) triple6) -> rule5) triple9) -> rule2) OR ((((((((triple5) -> rule1)) -> rule6) triple6) -> rule5) ((triple5) -> rule1)) -> rule2))] Fiona is quiet.[(triple8 OR ((((triple9) -> rule6) triple6) -> rule5) OR ((((((triple5) -> rule1)) -> rule6) triple6) -> rule5))] Fiona is red.[(triple9 OR ((triple5) -> rule1))] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is red.[(triple12 OR ((triple10) -> rule1))] @1: Dave is red.[(((triple1) -> rule1))] Fiona is green.[(((triple9) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Harry is green.[(((triple12) -> rule6) OR ((((triple10) -> rule1)) -> rule6))] @2: Dave is green.[(((((triple1) -> rule1)) -> rule6))] Harry is quiet.[(((((triple12) -> rule6) triple11) -> rule5) OR ((((((triple10) -> rule1)) -> rule6) triple11) -> rule5))] @3: Harry is furry.[(((((((triple12) -> rule6) triple11) -> rule5) triple12) -> rule2) OR ((((((triple12) -> rule6) triple11) -> rule5) ((triple10) -> rule1)) -> rule2) OR ((((((((triple10) -> rule1)) -> rule6) triple11) -> rule5) triple12) -> rule2) OR ((((((((triple10) -> rule1)) -> rule6) triple11) -> rule5) ((triple10) -> rule1)) -> rule2))]