Anne is cold. Anne is furry. Anne is not nice. Anne is not quiet. Anne is red. Anne is smart. Anne is young. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is young. Red things are young. If something is cold then it is young. If something is quiet then it is young. If Bob is smart then Bob is nice. If Anne is not red then Anne is nice. Red things are furry.
Bob is quiet.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule6))] Anne is not nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1) -> rule2) OR ((triple5) -> rule1))] Bob is cold.[(triple8)] Bob is furry.[(triple9 OR ((triple12) -> rule6))] Bob is nice.[(triple10 OR ((triple13) -> rule4))] Bob is quiet.[(triple11)] Bob is red.[(triple12)] Bob is smart.[(triple13)] Bob is young.[(triple14 OR ((triple11) -> rule3) OR ((triple12) -> rule1) OR ((triple8) -> rule2))]