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