Charlie is furry. Charlie is not kind. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Fiona is furry. Fiona is red. Fiona is not round. Fiona is young. Gary is big. Gary is furry. Gary is not red. Gary is not smart. Gary is young. If someone is kind and not smart then they are young. Furry, round people are young. All furry, big people are round.
Charlie is smart.
@0: Charlie is furry.[(triple1)] Charlie is not kind.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is young.[(triple6 OR ((triple1 triple4) -> rule2))] Fiona is furry.[(triple7)] Fiona is not round.[(triple9)] Fiona is red.[(triple8)] Fiona is young.[(triple10)] Gary is big.[(triple11)] Gary is furry.[(triple12)] Gary is not red.[(triple13)] Gary is not smart.[(triple14)] Gary is young.[(triple15 OR ((triple12 ((triple12 triple11) -> rule3)) -> rule2))] @1: Gary is round.[(((triple12 triple11) -> rule3))]