Charlie is big. Charlie is kind. Charlie is young. Dave is kind. Dave is red. Fiona is furry. Fiona is kind. Fiona is young. Gary is blue. Gary is kind. Gary is round. Gary is young. All young, blue things are kind. Blue, young things are red. If something is kind then it is red.
Fiona is not young.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is young.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((triple4) -> rule3))] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10 OR ((triple12 triple9) -> rule1))] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Charlie is red.[(((triple2) -> rule3))] Fiona is red.[(((triple7) -> rule3))] Gary is red.[(((triple10) -> rule3) OR ((triple9 triple12) -> rule2) OR ((((triple12 triple9) -> rule1)) -> rule3))]