Dave is kind. Dave is round. Dave is smart. Dave is white. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is white. All white things are green. Green things are rough. If Gary is kind then Gary is smart. Kind things are smart. If something is smart then it is kind. All kind things are round. Kind things are white. If something is red then it is white.
Dave is green.
@0: Dave is kind.[(triple1 OR ((triple3) -> rule5))] Dave is round.[(triple2 OR ((triple1) -> rule6) OR ((((triple3) -> rule5)) -> rule6))] Dave is smart.[(triple3 OR ((triple1) -> rule4))] Dave is white.[(triple4 OR ((triple1) -> rule7) OR ((((triple3) -> rule5)) -> rule7))] Gary is green.[(triple5 OR ((triple10) -> rule1) OR ((((triple6) -> rule7)) -> rule1) OR ((((((triple9) -> rule5)) -> rule7)) -> rule1))] Gary is kind.[(triple6 OR ((triple9) -> rule5))] Gary is rough.[(triple7 OR ((triple5) -> rule2) OR ((((triple10) -> rule1)) -> rule2) OR ((((((triple6) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule5)) -> rule7)) -> rule1)) -> rule2))] Gary is round.[(triple8 OR ((triple6) -> rule6) OR ((((triple9) -> rule5)) -> rule6))] Gary is smart.[(triple9 OR ((triple6) -> rule3) OR ((triple6) -> rule4))] Gary is white.[(triple10 OR ((triple6) -> rule7) OR ((((triple9) -> rule5)) -> rule7))] @1: Dave is green.[(((triple4) -> rule1) OR ((((triple1) -> rule7)) -> rule1) OR ((((((triple3) -> rule5)) -> rule7)) -> rule1))] @2: Dave is rough.[(((((triple4) -> rule1)) -> rule2) OR ((((((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple3) -> rule5)) -> rule7)) -> rule1)) -> rule2))]