Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is young. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is young. If something is quiet then it is kind. Red things are rough. All nice, red things are rough. If something is nice and red then it is quiet. If Dave is red then Dave is rough. Nice, young things are quiet. Young things are kind. All red, nice things are young.
Dave is not smart.
@0: Dave is kind.[(triple1 OR ((triple3) -> rule1) OR ((triple7) -> rule7) OR ((((triple2 triple4) -> rule4)) -> rule1) OR ((((triple2 triple7) -> rule6)) -> rule1) OR ((((triple4 triple2) -> rule8)) -> rule7) OR ((((triple2 ((triple4 triple2) -> rule8)) -> rule6)) -> rule1))] Dave is nice.[(triple2)] Dave is quiet.[(triple3 OR ((triple2 triple4) -> rule4) OR ((triple2 triple7) -> rule6) OR ((triple2 ((triple4 triple2) -> rule8)) -> rule6))] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple4) -> rule2) OR ((triple4) -> rule5) OR ((triple2 triple4) -> rule3))] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple4 triple2) -> rule8))] Harry is kind.[(triple8 OR ((triple10) -> rule1) OR ((triple14) -> rule7) OR ((((triple11 triple9) -> rule8)) -> rule7) OR ((((triple9 triple11) -> rule4)) -> rule1) OR ((((triple9 triple14) -> rule6)) -> rule1) OR ((((triple9 ((triple11 triple9) -> rule8)) -> rule6)) -> rule1))] Harry is nice.[(triple9)] Harry is quiet.[(triple10 OR ((triple9 triple11) -> rule4) OR ((triple9 triple14) -> rule6) OR ((triple9 ((triple11 triple9) -> rule8)) -> rule6))] Harry is red.[(triple11)] Harry is rough.[(triple12 OR ((triple11) -> rule2) OR ((triple9 triple11) -> rule3))] Harry is smart.[(triple13)] Harry is young.[(triple14 OR ((triple11 triple9) -> rule8))]