Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is young. Furry people are green. Furry people are young. All red, green people are young.
Fiona is round.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2 OR ((triple1) -> rule1))] Fiona is quiet.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7 OR ((triple1) -> rule2) OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple1) -> rule1)) -> rule3))] Gary is furry.[(triple8)] Gary is green.[(triple9 OR ((triple8) -> rule1))] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is young.[(triple14 OR ((triple8) -> rule2) OR ((triple11 triple9) -> rule3) OR ((triple11 ((triple8) -> rule1)) -> rule3))]