Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is young. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Gary is young. If something is young and smart then it is round. If something is round and young then it is green.
Erin is big.
@0: Erin is big.[(triple1)] Erin is green.[(triple2 OR ((triple5 triple7) -> rule2) OR ((((triple7 triple6) -> rule1) triple7) -> rule2))] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple7 triple6) -> rule1))] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9 OR ((triple12 triple14) -> rule2) OR ((((triple14 triple13) -> rule1) triple14) -> rule2))] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is round.[(triple12 OR ((triple14 triple13) -> rule1))] Gary is smart.[(triple13)] Gary is young.[(triple14)]