Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is not kind. Bob is not rough. Bob is young. Charlie is cold. Charlie is rough. Charlie is young. Dave is kind. Dave is young. Erin is big. Erin is not cold. Erin is not green. Erin is not rough. If something is big and rough then it is green. If something is kind then it is blue. If something is blue then it is big.
Dave is not big.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is not kind.[(triple5)] Bob is not rough.[(triple6)] Bob is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is rough.[(triple9)] Charlie is young.[(triple10)] Dave is kind.[(triple11)] Dave is young.[(triple12)] Erin is big.[(triple13)] Erin is not cold.[(triple14)] Erin is not green.[(triple15)] Erin is not rough.[(triple16)] @1: Dave is blue.[(((triple11) -> rule2))] @2: Dave is big.[(((((triple11) -> rule2)) -> rule3))]