Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. If something is red then it is kind. Green, round things are kind. All kind, rough things are young. Rough things are kind. If something is kind then it is furry. Round things are red. If something is rough and furry then it is kind. If something is young then it is red.
Fiona is round.
@0: Fiona is furry.[(triple1 OR ((triple3) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((((triple5) -> rule4)) -> rule5) OR ((((triple2 triple6) -> rule2)) -> rule5) OR ((((((triple6) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7) -> rule8)) -> rule1)) -> rule5))] Fiona is green.[(triple2)] Fiona is kind.[(triple3 OR ((triple4) -> rule1) OR ((triple5) -> rule4) OR ((triple2 triple6) -> rule2) OR ((triple5 triple1) -> rule7) OR ((((triple6) -> rule6)) -> rule1) OR ((((triple7) -> rule8)) -> rule1))] Fiona is red.[(triple4 OR ((triple6) -> rule6) OR ((triple7) -> rule8) OR ((((triple3 triple5) -> rule3)) -> rule8) OR ((((((triple5) -> rule4) triple5) -> rule3)) -> rule8) OR ((((((triple2 triple6) -> rule2) triple5) -> rule3)) -> rule8) OR ((((((triple5 triple1) -> rule7) triple5) -> rule3)) -> rule8))] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7 OR ((triple3 triple5) -> rule3) OR ((((triple4) -> rule1) triple5) -> rule3) OR ((((triple5) -> rule4) triple5) -> rule3) OR ((((triple2 triple6) -> rule2) triple5) -> rule3) OR ((((triple5 triple1) -> rule7) triple5) -> rule3) OR ((((((triple6) -> rule6)) -> rule1) triple5) -> rule3))]