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