Bob is big. Bob is cold. Bob is not green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Dave is big. Dave is not red. Gary is big. Gary is cold. Gary is not quiet. Gary is smart. Harry is big. Harry is cold. Harry is not smart. All cold things are red. If Dave is big and Dave is kind then Dave is cold. If something is cold and smart then it is big. If Dave is cold and Dave is big then Dave is not kind. If something is red and not big then it is quiet. If Harry is not red then Harry is quiet.
Dave is not red.
@0: Bob is big.[(triple1 OR ((triple2 triple7) -> rule3))] Bob is cold.[(triple2)] Bob is kind.[(triple4)] Bob is not green.[(triple3)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple2) -> rule1))] Bob is smart.[(triple7)] Dave is big.[(triple8)] Dave is not red.[(triple9)] Gary is big.[(triple10 OR ((triple11 triple13) -> rule3))] Gary is cold.[(triple11)] Gary is not quiet.[(triple12)] Gary is smart.[(triple13)] Harry is big.[(triple14)] Harry is cold.[(triple15)] Harry is not smart.[(triple16)] @1: Gary is red.[(((triple11) -> rule1))] Harry is red.[(((triple15) -> rule1))]