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