Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. All furry, cold people are round. White people are cold. If Fiona is white and Fiona is round then Fiona is quiet. Smart people are white. If someone is white then they are quiet. If someone is quiet and kind then they are round.
Fiona is not furry.
@0: Fiona is cold.[(triple1 OR ((triple7) -> rule2) OR ((((triple6) -> rule4)) -> rule2))] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4 OR ((triple7) -> rule5) OR ((triple7 triple5) -> rule3) OR ((((triple6) -> rule4)) -> rule5) OR ((triple7 ((triple2 triple1) -> rule1)) -> rule3) OR ((((triple6) -> rule4) triple5) -> rule3) OR ((((triple6) -> rule4) ((triple2 triple1) -> rule1)) -> rule3) OR ((triple7 ((triple2 ((triple7) -> rule2)) -> rule1)) -> rule3) OR ((((triple6) -> rule4) ((triple2 ((triple7) -> rule2)) -> rule1)) -> rule3) OR ((triple7 ((triple2 ((((triple6) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((triple6) -> rule4) ((triple2 ((((triple6) -> rule4)) -> rule2)) -> rule1)) -> rule3))] Fiona is round.[(triple5 OR ((triple2 triple1) -> rule1) OR ((triple4 triple3) -> rule6) OR ((triple2 ((triple7) -> rule2)) -> rule1) OR ((((triple7) -> rule5) triple3) -> rule6) OR ((triple2 ((((triple6) -> rule4)) -> rule2)) -> rule1) OR ((((((triple6) -> rule4)) -> rule5) triple3) -> rule6))] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple6) -> rule4))]