Anne is green. Dave is big. Dave is cold. Dave is quiet. Dave is red. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Green things are red. If something is red then it is furry. If Dave is cold then Dave is furry. Red, cold things are furry. If something is quiet then it is furry. If something is round and green then it is red. If Anne is furry and Anne is red then Anne is round. Big, round things are furry.
Anne is not round.
@0: Anne is green.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8 OR ((triple10) -> rule5) OR ((triple11) -> rule2) OR ((triple11 triple7) -> rule4) OR ((triple6 triple12) -> rule8) OR ((((triple9) -> rule1)) -> rule2) OR ((((triple12 triple9) -> rule6)) -> rule2) OR ((((triple9) -> rule1) triple7) -> rule4) OR ((((triple12 triple9) -> rule6) triple7) -> rule4))] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11 OR ((triple9) -> rule1) OR ((triple12 triple9) -> rule6))] Fiona is round.[(triple12)] @1: Anne is red.[(((triple1) -> rule1))] Dave is furry.[(((triple3) -> rule3) OR ((triple4) -> rule5) OR ((triple5) -> rule2) OR ((triple5 triple3) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is round.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule7))]