Dave is big. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is white. If someone is green and round then they are white. If someone is cold and rough then they are white. All big people are rough. If Dave is big then Dave is cold. All cold, round people are quiet. If someone is round and rough then they are cold.
Dave is not quiet.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple1) -> rule4) OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple1) -> rule3)) -> rule6))] Dave is green.[(triple3)] Dave is quiet.[(triple4 OR ((triple2 triple6) -> rule5) OR ((((triple1) -> rule4) triple6) -> rule5) OR ((((triple6 triple5) -> rule6) triple6) -> rule5) OR ((((triple6 ((triple1) -> rule3)) -> rule6) triple6) -> rule5))] Dave is rough.[(triple5 OR ((triple1) -> rule3))] Dave is round.[(triple6)] Dave is white.[(triple7 OR ((triple2 triple5) -> rule2) OR ((triple3 triple6) -> rule1) OR ((triple2 ((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule4) triple5) -> rule2) OR ((((triple6 triple5) -> rule6) triple5) -> rule2) OR ((((triple1) -> rule4) ((triple1) -> rule3)) -> rule2) OR ((((triple6 triple5) -> rule6) ((triple1) -> rule3)) -> rule2) OR ((((triple6 ((triple1) -> rule3)) -> rule6) triple5) -> rule2) OR ((((triple6 ((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule2))]