Anne is big. Anne is kind. Bob is big. Bob is not rough. Bob is smart. Dave is smart. Gary is big. If Anne is red then Anne is not rough. If Dave is rough then Dave is blue. If someone is kind and red then they are blue. If someone is blue and kind then they are big. If someone is kind and not blue then they are big. All big people are smart.
Gary is kind.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Bob is big.[(triple3)] Bob is not rough.[(triple4)] Bob is smart.[(triple5 OR ((triple3) -> rule6))] Dave is smart.[(triple6)] Gary is big.[(triple7)] @1: Anne is smart.[(((triple1) -> rule6))] Gary is smart.[(((triple7) -> rule6))]