Bob is quiet. Bob is rough. Bob is smart. Dave is not green. Dave is not quiet. Dave is rough. Dave is smart. Gary is not blue. Gary is green. Harry is blue. Harry is nice. Harry is smart. If someone is green and not smart then they are blue. Smart people are blue. Blue people are nice. If someone is blue and not smart then they are rough. If someone is green and blue then they are rough. Quiet, smart people are rough. If someone is smart and green then they are cold. Nice people are not cold.
Bob is green.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2 OR ((triple1 triple3) -> rule6))] Bob is smart.[(triple3)] Dave is not green.[(triple4)] Dave is not quiet.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Gary is green.[(triple9)] Gary is not blue.[(triple8)] Harry is blue.[(triple10 OR ((triple12) -> rule2))] Harry is nice.[(triple11 OR ((triple10) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] Harry is smart.[(triple12)] @1: Bob is blue.[(((triple3) -> rule2))] Dave is blue.[(((triple7) -> rule2))] Harry is not cold.[(((triple11) -> rule8) OR ((((triple10) -> rule3)) -> rule8) OR ((((((triple12) -> rule2)) -> rule3)) -> rule8))] @2: Bob is nice.[(((((triple3) -> rule2)) -> rule3))] Dave is nice.[(((((triple7) -> rule2)) -> rule3))] @3: Bob is not cold.[(((((((triple3) -> rule2)) -> rule3)) -> rule8))] Dave is not cold.[(((((((triple7) -> rule2)) -> rule3)) -> rule8))]