Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Gary is blue. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Gary is young. If Gary is blue then Gary is smart. All blue, quiet things are young. All young things are smart. Blue, quiet things are furry. All blue things are smart. If Gary is blue and Gary is kind then Gary is quiet.
Gary is kind.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple1 triple4) -> rule4))] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple1) -> rule5) OR ((triple7) -> rule3) OR ((((triple1 triple4) -> rule2)) -> rule3))] Fiona is young.[(triple7 OR ((triple1 triple4) -> rule2))] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple8 triple11) -> rule4) OR ((triple8 ((triple8 triple10) -> rule6)) -> rule4))] Gary is kind.[(triple10)] Gary is quiet.[(triple11 OR ((triple8 triple10) -> rule6))] Gary is round.[(triple12)] Gary is smart.[(triple13 OR ((triple14) -> rule3) OR ((triple8) -> rule1) OR ((triple8) -> rule5) OR ((((triple8 triple11) -> rule2)) -> rule3) OR ((((triple8 ((triple8 triple10) -> rule6)) -> rule2)) -> rule3))] Gary is young.[(triple14 OR ((triple8 triple11) -> rule2) OR ((triple8 ((triple8 triple10) -> rule6)) -> rule2))]