Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. Rough, green things are furry. If Fiona is furry and Fiona is green then Fiona is young. If Fiona is white and Fiona is nice then Fiona is green.
Fiona is nice.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple6 triple4) -> rule3)) -> rule1))] Fiona is green.[(triple3 OR ((triple6 triple4) -> rule3))] Fiona is nice.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple6 triple4) -> rule3)) -> rule2) OR ((((triple5 triple3) -> rule1) triple3) -> rule2) OR ((((triple5 triple3) -> rule1) ((triple6 triple4) -> rule3)) -> rule2) OR ((((triple5 ((triple6 triple4) -> rule3)) -> rule1) triple3) -> rule2) OR ((((triple5 ((triple6 triple4) -> rule3)) -> rule1) ((triple6 triple4) -> rule3)) -> rule2))]