Bob is big. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Bob is young. Erin is big. Erin is cold. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Erin is young. White, cold things are big. Cold, young things are quiet. All cold things are young.
Bob is rough.
@0: Bob is big.[(triple1 OR ((triple6 triple2) -> rule1))] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple2 triple7) -> rule2) OR ((triple2 ((triple2) -> rule3)) -> rule2))] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple2) -> rule3))] Erin is big.[(triple8 OR ((triple13 triple9) -> rule1))] Erin is cold.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11 OR ((triple9 triple14) -> rule2) OR ((triple9 ((triple9) -> rule3)) -> rule2))] Erin is rough.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14 OR ((triple9) -> rule3))]