Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is young. All furry, quiet things are young. If Fiona is green then Fiona is nice. Quiet things are nice. Rough things are furry. If Fiona is quiet and Fiona is nice then Fiona is green. If Fiona is blue then Fiona is quiet.
Fiona is furry.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple6) -> rule4))] Fiona is green.[(triple3 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule3)) -> rule5) OR ((((triple1) -> rule6) triple4) -> rule5) OR ((((triple1) -> rule6) ((triple5) -> rule3)) -> rule5) OR ((triple5 ((((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule3)) -> rule5))] Fiona is nice.[(triple4 OR ((triple3) -> rule2) OR ((triple5) -> rule3) OR ((((triple1) -> rule6)) -> rule3))] Fiona is quiet.[(triple5 OR ((triple1) -> rule6))] Fiona is rough.[(triple6)] Fiona is young.[(triple7 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple1) -> rule6)) -> rule1) OR ((((triple6) -> rule4) triple5) -> rule1) OR ((((triple6) -> rule4) ((triple1) -> rule6)) -> rule1))]