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