Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is young. If something is quiet and nice then it is cold. All rough things are cold. All rough things are young. If something is cold and young then it is kind. If Dave is cold then Dave is nice. All cold, quiet things are young.
Dave is not kind.
@0: Dave is cold.[(triple1 OR ((triple6) -> rule2) OR ((triple5 triple4) -> rule1))] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple1 triple7) -> rule4) OR ((triple1 ((triple6) -> rule3)) -> rule4) OR ((triple1 ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple6) -> rule2) triple7) -> rule4) OR ((((triple5 triple4) -> rule1) triple7) -> rule4) OR ((((triple6) -> rule2) ((triple6) -> rule3)) -> rule4) OR ((((triple6) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple5 triple4) -> rule1) ((triple6) -> rule3)) -> rule4) OR ((((triple5 triple4) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) OR ((triple1 ((((triple6) -> rule2) triple5) -> rule6)) -> rule4) OR ((triple1 ((((triple5 triple4) -> rule1) triple5) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((((triple6) -> rule2) triple5) -> rule6)) -> rule4) OR ((((triple6) -> rule2) ((((triple5 triple4) -> rule1) triple5) -> rule6)) -> rule4) OR ((((triple5 triple4) -> rule1) ((((triple6) -> rule2) triple5) -> rule6)) -> rule4) OR ((((triple5 triple4) -> rule1) ((((triple5 triple4) -> rule1) triple5) -> rule6)) -> rule4))] Dave is nice.[(triple4 OR ((triple1) -> rule5) OR ((((triple6) -> rule2)) -> rule5))] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7 OR ((triple6) -> rule3) OR ((triple1 triple5) -> rule6) OR ((((triple6) -> rule2) triple5) -> rule6) OR ((((triple5 triple4) -> rule1) triple5) -> rule6))]