Fiona is blue. Fiona is not rough. Fiona is young. If Fiona is not rough then Fiona is big. If Fiona is white and Fiona is not rough then Fiona is nice. Rough people are white. All big people are white. Young, white people are nice. Furry people are not nice. If Fiona is not rough then Fiona is young. If Fiona is furry and Fiona is not white then Fiona is young.
Fiona is big.
@0: Fiona is blue.[(triple1)] Fiona is not rough.[(triple2)] Fiona is young.[(triple3 OR ((triple2) -> rule7))] @1: Fiona is big.[(((triple2) -> rule1))] @2: Fiona is white.[(((((triple2) -> rule1)) -> rule4))] @3: Fiona is nice.[(((triple3 ((((triple2) -> rule1)) -> rule4)) -> rule5) OR ((((((triple2) -> rule1)) -> rule4) triple2) -> rule2) OR ((((triple2) -> rule7) ((((triple2) -> rule1)) -> rule4)) -> rule5))]