Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is young. If something is young and kind then it is rough. If something is young then it is furry. All green things are young. If something is blue and young then it is rough. All young things are furry. Blue, kind things are furry.
Fiona is red.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple7) -> rule2) OR ((triple7) -> rule5) OR ((triple1 triple4) -> rule6) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple3) -> rule3)) -> rule5))] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple1 triple7) -> rule4) OR ((triple7 triple4) -> rule1) OR ((triple1 ((triple3) -> rule3)) -> rule4) OR ((((triple3) -> rule3) triple4) -> rule1))] Fiona is young.[(triple7 OR ((triple3) -> rule3))] Harry is blue.[(triple8)] Harry is furry.[(triple9 OR ((triple14) -> rule2) OR ((triple14) -> rule5) OR ((triple8 triple11) -> rule6) OR ((((triple10) -> rule3)) -> rule2) OR ((((triple10) -> rule3)) -> rule5))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple14 triple11) -> rule1) OR ((triple8 triple14) -> rule4) OR ((triple8 ((triple10) -> rule3)) -> rule4) OR ((((triple10) -> rule3) triple11) -> rule1))] Harry is young.[(triple14 OR ((triple10) -> rule3))]