Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is smart. If Dave is nice then Dave is rough. All smart things are rough. If something is cold then it is blue. Smart things are nice. If something is smart and cold then it is blue. If something is rough and blue then it is cold.
Dave is red.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple7 triple2) -> rule5))] Bob is cold.[(triple2 OR ((triple6 triple1) -> rule6) OR ((((triple7) -> rule2) triple1) -> rule6))] Bob is nice.[(triple3 OR ((triple7) -> rule4))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple7) -> rule2))] Bob is smart.[(triple7)] Dave is cold.[(triple8)] Dave is nice.[(triple9 OR ((triple12) -> rule4))] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is smart.[(triple12)] @1: Dave is blue.[(((triple8) -> rule3) OR ((triple12 triple8) -> rule5))] Dave is rough.[(((triple12) -> rule2) OR ((triple9) -> rule1) OR ((((triple12) -> rule4)) -> rule1))]