Charlie is rough. Charlie is smart. Charlie is young. Fiona is furry. Fiona is young. Harry is cold. Harry is rough. If something is cold and smart then it is furry. If Charlie is young then Charlie is nice. Furry, smart things are white. All cold, smart things are furry. White things are rough. All white, rough things are smart. If something is young and nice then it is furry. If Fiona is rough and Fiona is nice then Fiona is white.
Fiona is not nice.
@0: Charlie is rough.[(triple1 OR ((((((triple3 ((triple3) -> rule2)) -> rule7) triple2) -> rule3)) -> rule5))] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Fiona is furry.[(triple4)] Fiona is young.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is nice.[(((triple3) -> rule2))] @2: Charlie is furry.[(((triple3 ((triple3) -> rule2)) -> rule7))] @3: Charlie is white.[(((((triple3 ((triple3) -> rule2)) -> rule7) triple2) -> rule3))]