Bob is not big. Bob is blue. Bob is cold. Bob is not quiet. Bob is not rough. Bob is smart. Bob is young. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Erin is smart. Erin is young. If something is cold and not smart then it is not big. Rough things are big. All young, rough things are cold. If something is blue and smart then it is young. If something is rough then it is young. Quiet things are young.
Erin is smart.
@0: Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is not big.[(triple1)] Bob is not quiet.[(triple4)] Bob is not rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple2 triple6) -> rule4))] Erin is big.[(triple8 OR ((triple12) -> rule2))] Erin is blue.[(triple9)] Erin is cold.[(triple10 OR ((triple14 triple12) -> rule3) OR ((((triple11) -> rule6) triple12) -> rule3) OR ((((triple12) -> rule5) triple12) -> rule3) OR ((((triple9 triple13) -> rule4) triple12) -> rule3))] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14 OR ((triple11) -> rule6) OR ((triple12) -> rule5) OR ((triple9 triple13) -> rule4))]