Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is young. If Fiona is young then Fiona is furry. Young people are blue. If someone is furry and rough then they are nice. If Fiona is furry then Fiona is big. Furry, rough people are big. If Fiona is nice and Fiona is rough then Fiona is kind.
Fiona is young.
@0: Fiona is big.[(triple1 OR ((triple3) -> rule4) OR ((triple3 triple6) -> rule5) OR ((((triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule1) triple6) -> rule5))] Fiona is blue.[(triple2 OR ((triple7) -> rule2))] Fiona is furry.[(triple3 OR ((triple7) -> rule1))] Fiona is kind.[(triple4 OR ((triple5 triple6) -> rule6) OR ((((triple3 triple6) -> rule3) triple6) -> rule6) OR ((((((triple7) -> rule1) triple6) -> rule3) triple6) -> rule6))] Fiona is nice.[(triple5 OR ((triple3 triple6) -> rule3) OR ((((triple7) -> rule1) triple6) -> rule3))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]