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