Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. If Fiona is big and Fiona is not green then Fiona is nice. If something is round then it is big. All nice things are round. Green, nice things are round. All furry things are kind. If something is round then it is kind.
Fiona is not round.
@0: Fiona is big.[(triple1 OR ((triple7) -> rule2) OR ((((triple6) -> rule3)) -> rule2) OR ((((triple4 triple6) -> rule4)) -> rule2))] Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5 OR ((triple3) -> rule5) OR ((triple7) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple4 triple6) -> rule4)) -> rule6))] Fiona is nice.[(triple6)] Fiona is round.[(triple7 OR ((triple6) -> rule3) OR ((triple4 triple6) -> rule4))]