Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Cold people are nice. Nice, cold people are kind. All smart, quiet people are nice. If Dave is cold and Dave is smart then Dave is nice. If someone is quiet then they are rough. If someone is smart and quiet then they are nice.
Dave is quiet.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2 OR ((triple3 triple1) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule2) OR ((((triple1 triple7) -> rule4) triple1) -> rule2) OR ((((triple7 triple4) -> rule3) triple1) -> rule2) OR ((((triple7 triple4) -> rule6) triple1) -> rule2))] Dave is nice.[(triple3 OR ((triple1) -> rule1) OR ((triple1 triple7) -> rule4) OR ((triple7 triple4) -> rule3) OR ((triple7 triple4) -> rule6))] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple4) -> rule5))] Dave is smart.[(triple7)]