Anne is cold. Anne is furry. Anne is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is round. Fiona is young. If something is red then it is blue. Young things are round. All red things are round. Furry, big things are young. If Fiona is cold and Fiona is young then Fiona is round. If Fiona is cold then Fiona is young. If Fiona is big and Fiona is not round then Fiona is blue. If Anne is cold and Anne is not blue then Anne is round.
Anne is red.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is round.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5 OR ((triple8) -> rule1))] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9 OR ((triple10) -> rule2) OR ((triple8) -> rule3) OR ((triple6 triple10) -> rule5) OR ((((triple6) -> rule6)) -> rule2) OR ((((triple7 triple4) -> rule4)) -> rule2) OR ((triple6 ((triple6) -> rule6)) -> rule5) OR ((triple6 ((triple7 triple4) -> rule4)) -> rule5))] Fiona is young.[(triple10 OR ((triple6) -> rule6) OR ((triple7 triple4) -> rule4))]