Bob is rough. Dave is kind. Gary is big. If Gary is green then Gary is cold. If someone is big and red then they are green. All cold, green people are red. All kind, red people are cold. If Bob is green then Bob is red. If someone is rough then they are red. If Bob is furry then Bob is green. If someone is red then they are kind.
Bob is cold.
@0: Bob is rough.[(triple1)] Dave is kind.[(triple2)] Gary is big.[(triple3)] @1: Bob is red.[(((triple1) -> rule6))] @2: Bob is kind.[(((((triple1) -> rule6)) -> rule8))] @3: Bob is cold.[(((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule4))]