Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Big people are quiet. Blue, smart people are big. Quiet, big people are blue.
Erin is cold.
@0: Erin is big.[(triple1 OR ((triple2 triple7) -> rule2))] Erin is blue.[(triple2 OR ((triple5 triple1) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule3))] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5 OR ((triple1) -> rule1) OR ((((triple2 triple7) -> rule2)) -> rule1))] Erin is red.[(triple6)] Erin is smart.[(triple7)] Gary is big.[(triple8 OR ((triple9 triple14) -> rule2))] Gary is blue.[(triple9 OR ((triple12 triple8) -> rule3) OR ((((triple8) -> rule1) triple8) -> rule3))] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is quiet.[(triple12 OR ((triple8) -> rule1) OR ((((triple9 triple14) -> rule2)) -> rule1))] Gary is red.[(triple13)] Gary is smart.[(triple14)]