Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Bob is big. Bob is not cold. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is young. If Anne is not cold then Anne is young. If Bob is big and Bob is not quiet then Bob is cold. If Bob is smart then Bob is not cold. Quiet people are smart. Nice, smart people are big. Young people are big.
Anne is not nice.
@0: Anne is big.[(triple1 OR ((triple7) -> rule6) OR ((triple4 triple6) -> rule5) OR ((triple4 ((triple5) -> rule4)) -> rule5))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6 OR ((triple5) -> rule4))] Anne is young.[(triple7)] Bob is big.[(triple8 OR ((triple14) -> rule6) OR ((triple11 triple13) -> rule5) OR ((triple11 ((triple12) -> rule4)) -> rule5))] Bob is kind.[(triple10)] Bob is nice.[(triple11)] Bob is not cold.[(triple9 OR ((triple13) -> rule3) OR ((((triple12) -> rule4)) -> rule3))] Bob is quiet.[(triple12)] Bob is smart.[(triple13 OR ((triple12) -> rule4))] Bob is young.[(triple14)]