Bob is cold. Bob is round. Bob is white. Bob is young. Dave is not nice. Dave is quiet. Dave is round. Dave is not young. Erin is cold. Erin is not nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Erin is young. If something is round and quiet then it is white. If something is quiet and not young then it is white. Quiet, smart things are round. All white things are round. If Bob is young and Bob is not round then Bob is not nice. If something is nice and not smart then it is cold. If something is nice and round then it is cold. All smart things are cold.
Bob is not round.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2 OR ((triple3) -> rule4))] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is not nice.[(triple5)] Dave is not young.[(triple8)] Dave is quiet.[(triple6)] Dave is round.[(triple7 OR ((((triple6 triple8) -> rule2)) -> rule4))] Erin is cold.[(triple9 OR ((triple13) -> rule8))] Erin is not nice.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12 OR ((triple14) -> rule4) OR ((triple11 triple13) -> rule3))] Erin is smart.[(triple13)] Erin is white.[(triple14 OR ((triple12 triple11) -> rule1) OR ((((triple11 triple13) -> rule3) triple11) -> rule1))] Erin is young.[(triple15)] @1: Dave is white.[(((triple6 triple8) -> rule2) OR ((triple7 triple6) -> rule1))]