Anne is big. Bob is kind. Dave is young. Gary is red. If Gary is red and Gary is not young then Gary is rough. If Gary is round then Gary is cold. Big people are cold. All young, kind people are cold. All kind people are big. If someone is kind then they are big. All big, young people are round. If Dave is young and Dave is kind then Dave is not rough.
Gary is red.
@0: Anne is big.[(triple1)] Bob is kind.[(triple2)] Dave is young.[(triple3)] Gary is red.[(triple4)] @1: Anne is cold.[(((triple1) -> rule3))] Bob is big.[(((triple2) -> rule5) OR ((triple2) -> rule6))] @2: Bob is cold.[(((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule6)) -> rule3))]