Charlie is big. Charlie is not furry. Fiona is big. Fiona is furry. Fiona is not nice. Fiona is red. Fiona is not young. Gary is rough. Gary is white. Gary is young. If something is big then it is red. If something is red and not furry then it is not nice. If something is white and not rough then it is nice. If something is red then it is not nice. All young things are big. All young things are big.
Charlie is white.
@0: Charlie is big.[(triple1)] Charlie is not furry.[(triple2)] Fiona is big.[(triple3)] Fiona is furry.[(triple4)] Fiona is not nice.[(triple5 OR ((triple6) -> rule4) OR ((((triple3) -> rule1)) -> rule4))] Fiona is not young.[(triple7)] Fiona is red.[(triple6 OR ((triple3) -> rule1))] Gary is rough.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Charlie is red.[(((triple1) -> rule1))] Gary is big.[(((triple10) -> rule5) OR ((triple10) -> rule6))] @2: Charlie is not nice.[(((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule1) triple2) -> rule2))] Gary is red.[(((((triple10) -> rule5)) -> rule1) OR ((((triple10) -> rule6)) -> rule1))] @3: Gary is not nice.[(((((((triple10) -> rule5)) -> rule1)) -> rule4) OR ((((((triple10) -> rule6)) -> rule1)) -> rule4))]