Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is white. Dave is blue. Dave is quiet. Gary is red. Gary is white. All kind, red things are smart. All green things are white. All red, green things are quiet. All white, blue things are red. If Dave is red then Dave is quiet. Quiet things are white. Blue things are quiet. Red, kind things are blue.
Gary is white.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple4 triple1) -> rule3) OR ((((triple4 triple2) -> rule8)) -> rule7))] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple2 triple4) -> rule1))] Bob is white.[(triple6 OR ((triple1) -> rule2) OR ((triple3) -> rule6) OR ((((triple4 triple1) -> rule3)) -> rule6) OR ((((((triple4 triple2) -> rule8)) -> rule7)) -> rule6))] Dave is blue.[(triple7)] Dave is quiet.[(triple8 OR ((triple7) -> rule7))] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Bob is blue.[(((triple4 triple2) -> rule8))] Dave is white.[(((triple8) -> rule6) OR ((((triple7) -> rule7)) -> rule6))] @2: Dave is red.[(((((triple8) -> rule6) triple7) -> rule4) OR ((((((triple7) -> rule7)) -> rule6) triple7) -> rule4))]