Bob is big. Bob is furry. Bob is red. Bob is rough. Bob is not smart. Erin is furry. Erin is not red. Erin is rough. Erin is round. Gary is furry. Gary is red. Gary is rough. Gary is not round. Gary is smart. Gary is young. If something is rough then it is big. All round things are big. If Bob is rough then Bob is furry. If something is young then it is rough. If something is furry and not young then it is smart. If Erin is smart then Erin is rough.
Bob is smart.
@0: Bob is big.[(triple1 OR ((triple4) -> rule1))] Bob is furry.[(triple2 OR ((triple4) -> rule3))] Bob is not smart.[(triple5)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Erin is furry.[(triple6)] Erin is not red.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Gary is furry.[(triple10)] Gary is not round.[(triple13)] Gary is red.[(triple11)] Gary is rough.[(triple12 OR ((triple15) -> rule4))] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Erin is big.[(((triple8) -> rule1) OR ((triple9) -> rule2))] Gary is big.[(((triple12) -> rule1) OR ((((triple15) -> rule4)) -> rule1))]