Fiona is blue. Fiona is kind. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Harry is blue. Harry is kind. Harry is rough. Harry is not round. Harry is not smart. Harry is white. Harry is young. If something is blue and round then it is smart. Kind things are rough. If Harry is smart and Harry is blue then Harry is rough. Blue things are white. If Fiona is blue and Fiona is young then Fiona is white. If something is round and not rough then it is young.
Fiona is not round.
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2)] Fiona is rough.[(triple3 OR ((triple2) -> rule2))] Fiona is round.[(triple4)] Fiona is smart.[(triple5 OR ((triple1 triple4) -> rule1))] Fiona is white.[(triple6 OR ((triple1) -> rule4) OR ((triple1 triple7) -> rule5))] Fiona is young.[(triple7)] Harry is blue.[(triple8)] Harry is kind.[(triple9)] Harry is not round.[(triple11)] Harry is not smart.[(triple12)] Harry is rough.[(triple10 OR ((triple9) -> rule2))] Harry is white.[(triple13 OR ((triple8) -> rule4))] Harry is young.[(triple14)]