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