Charlie is furry. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. Gary is furry. Gary is red. Gary is rough. Gary is white. Nice, red things are white. If Fiona is nice and Fiona is round then Fiona is young. If something is furry and round then it is young. If Charlie is white then Charlie is young. Rough things are round. If something is rough then it is furry.
Fiona is white.
@0: Charlie is furry.[(triple1 OR ((triple4) -> rule6))] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple4) -> rule5))] Charlie is white.[(triple6 OR ((triple2 triple3) -> rule1))] Charlie is young.[(triple7 OR ((triple6) -> rule4) OR ((triple1 triple5) -> rule3) OR ((((triple2 triple3) -> rule1)) -> rule4) OR ((triple1 ((triple4) -> rule5)) -> rule3) OR ((((triple4) -> rule6) triple5) -> rule3) OR ((((triple4) -> rule6) ((triple4) -> rule5)) -> rule3))] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] Fiona is young.[(triple11 OR ((triple8 ((triple9) -> rule5)) -> rule2) OR ((((triple9) -> rule6) ((triple9) -> rule5)) -> rule3))] Gary is furry.[(triple12 OR ((triple14) -> rule6))] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] @1: Fiona is furry.[(((triple9) -> rule6))] Fiona is round.[(((triple9) -> rule5))] Gary is round.[(((triple14) -> rule5))] @2: Gary is young.[(((triple12 ((triple14) -> rule5)) -> rule3) OR ((((triple14) -> rule6) ((triple14) -> rule5)) -> rule3))]