Bob is big. Bob is blue. Bob is round. Bob is smart. Bob is young. Dave is big. Dave is kind. Dave is rough. Dave is round. Dave is young. If something is round then it is smart. If something is blue then it is big. If Dave is rough then Dave is blue.
Bob is not kind.
@0: Bob is big.[(triple1 OR ((triple2) -> rule2))] Bob is blue.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule1))] Bob is young.[(triple5)] Dave is big.[(triple6 OR ((((triple8) -> rule3)) -> rule2))] Dave is kind.[(triple7)] Dave is rough.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] @1: Dave is blue.[(((triple8) -> rule3))] Dave is smart.[(((triple9) -> rule1))]