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