Fiona is big. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. If someone is young then they are big. Kind, big people are furry. If someone is quiet then they are round. All young people are quiet. If Fiona is big and Fiona is young then Fiona is kind. If someone is white then they are big.
Fiona is young.
@0: Fiona is big.[(triple1 OR ((triple6) -> rule6) OR ((triple7) -> rule1))] Fiona is furry.[(triple2 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple6) -> rule6)) -> rule2) OR ((triple3 ((triple7) -> rule1)) -> rule2) OR ((((triple1 triple7) -> rule5) triple1) -> rule2) OR ((((triple1 triple7) -> rule5) ((triple6) -> rule6)) -> rule2) OR ((((triple1 triple7) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((((triple6) -> rule6) triple7) -> rule5) triple1) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule5) triple1) -> rule2) OR ((((((triple6) -> rule6) triple7) -> rule5) ((triple6) -> rule6)) -> rule2) OR ((((((triple6) -> rule6) triple7) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule5) ((triple6) -> rule6)) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule5) ((triple7) -> rule1)) -> rule2))] Fiona is kind.[(triple3 OR ((triple1 triple7) -> rule5) OR ((((triple6) -> rule6) triple7) -> rule5) OR ((((triple7) -> rule1) triple7) -> rule5))] Fiona is quiet.[(triple4 OR ((triple7) -> rule4))] Fiona is round.[(triple5 OR ((triple4) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Fiona is white.[(triple6)] Fiona is young.[(triple7)]