Charlie is furry. Charlie is rough. Charlie is white. Charlie is young. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Harry is nice. Harry is red. Harry is round. All young, white things are rough. All round things are white. All white things are young.
Harry is rough.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2 OR ((triple4 triple3) -> rule1) OR ((((triple3) -> rule3) triple3) -> rule1))] Charlie is white.[(triple3)] Charlie is young.[(triple4 OR ((triple3) -> rule3))] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8 OR ((triple7) -> rule2))] Fiona is young.[(triple9 OR ((triple8) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Fiona is rough.[(((triple9 triple8) -> rule1) OR ((triple9 ((triple7) -> rule2)) -> rule1) OR ((((triple8) -> rule3) triple8) -> rule1) OR ((((triple8) -> rule3) ((triple7) -> rule2)) -> rule1) OR ((((((triple7) -> rule2)) -> rule3) triple8) -> rule1) OR ((((((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule1))] Harry is white.[(((triple12) -> rule2))] @2: Harry is young.[(((((triple12) -> rule2)) -> rule3))] @3: Harry is rough.[(((((((triple12) -> rule2)) -> rule3) ((triple12) -> rule2)) -> rule1))]