Bob is white. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is white. Harry is young. All white things are kind. If something is smart then it is white.
Fiona is blue.
@0: Bob is white.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3 OR ((triple7) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Fiona is nice.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple6) -> rule2))] Fiona is young.[(triple8)] Harry is blue.[(triple9)] Harry is kind.[(triple10 OR ((triple14) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] Harry is nice.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14 OR ((triple13) -> rule2))] Harry is young.[(triple15)] @1: Bob is kind.[(((triple1) -> rule1))]