Charlie is furry. Charlie is red. Charlie is white. Fiona is big. Fiona is rough. Fiona is white. Fiona is young. Gary is furry. Gary is red. Gary is white. Quiet, rough people are red. If someone is big then they are rough. Red people are rough. All young, rough people are red. White, red people are young. If someone is big then they are furry. If someone is white and furry then they are red. If someone is quiet then they are white.
Gary is furry.
@0: Charlie is furry.[(triple1)] Charlie is red.[(triple2 OR ((triple3 triple1) -> rule7))] Charlie is white.[(triple3)] Fiona is big.[(triple4)] Fiona is rough.[(triple5 OR ((triple4) -> rule2) OR ((((triple6 ((triple4) -> rule6)) -> rule7)) -> rule3))] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple6 ((triple6 ((triple4) -> rule6)) -> rule7)) -> rule5))] Gary is furry.[(triple8)] Gary is red.[(triple9 OR ((triple10 triple8) -> rule7))] Gary is white.[(triple10)] @1: Charlie is rough.[(((triple2) -> rule3) OR ((((triple3 triple1) -> rule7)) -> rule3))] Charlie is young.[(((triple3 triple2) -> rule5) OR ((triple3 ((triple3 triple1) -> rule7)) -> rule5))] Fiona is furry.[(((triple4) -> rule6))] Fiona is red.[(((triple7 triple5) -> rule4) OR ((triple6 ((triple4) -> rule6)) -> rule7) OR ((triple7 ((triple4) -> rule2)) -> rule4))] Gary is rough.[(((triple9) -> rule3) OR ((((triple10 triple8) -> rule7)) -> rule3))] Gary is young.[(((triple10 triple9) -> rule5) OR ((triple10 ((triple10 triple8) -> rule7)) -> rule5))]