Bob is kind. Bob is red. Bob is rough. Bob is round. Dave is cold. Dave is rough. Dave is smart. Kind people are round. Smart people are round. All rough people are cold. If someone is cold and round then they are red. If someone is kind and rough then they are smart. If someone is kind then they are round.
Dave is not green.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2 OR ((((triple3) -> rule3) triple4) -> rule4) OR ((((triple3) -> rule3) ((triple1) -> rule1)) -> rule4) OR ((((triple3) -> rule3) ((triple1) -> rule6)) -> rule4) OR ((((triple3) -> rule3) ((((triple1 triple3) -> rule5)) -> rule2)) -> rule4))] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule1) OR ((triple1) -> rule6) OR ((((triple1 triple3) -> rule5)) -> rule2))] Dave is cold.[(triple5 OR ((triple6) -> rule3))] Dave is rough.[(triple6)] Dave is smart.[(triple7)] @1: Bob is cold.[(((triple3) -> rule3))] Bob is smart.[(((triple1 triple3) -> rule5))] Dave is round.[(((triple7) -> rule2))] @2: Dave is red.[(((triple5 ((triple7) -> rule2)) -> rule4) OR ((((triple6) -> rule3) ((triple7) -> rule2)) -> rule4))]