Bob is cold. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is white. Charlie is cold. Charlie is rough. Charlie is smart. Charlie is not white. If Bob is quiet then Bob is cold. If something is cold and green then it is round. Smart, quiet things are white. If Bob is smart and Bob is cold then Bob is quiet. If something is round and white then it is quiet. All smart things are rough.
Charlie is not quiet.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule1) OR ((((triple5 triple6) -> rule5)) -> rule1))] Bob is green.[(triple2)] Bob is quiet.[(triple3 OR ((triple5 triple6) -> rule5) OR ((((triple1 triple2) -> rule2) triple6) -> rule5))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple2) -> rule2) OR ((((triple3) -> rule1) triple2) -> rule2))] Bob is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is not white.[(triple10)] Charlie is rough.[(triple8 OR ((triple9) -> rule6))] Charlie is smart.[(triple9)]