Bob is kind. Bob is rough. Charlie is big. Charlie is green. Dave is white. Gary is big. Gary is cold. If someone is kind then they are cold. If someone is white then they are red. If someone is cold then they are big. Green, white people are red. White people are kind. If Dave is cold and Dave is rough then Dave is kind.
Gary is big.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is green.[(triple4)] Dave is white.[(triple5)] Gary is big.[(triple6 OR ((triple7) -> rule3))] Gary is cold.[(triple7)] @1: Bob is cold.[(((triple1) -> rule1))] Dave is kind.[(((triple5) -> rule5))] Dave is red.[(((triple5) -> rule2))] @2: Bob is big.[(((((triple1) -> rule1)) -> rule3))] Dave is cold.[(((((triple5) -> rule5)) -> rule1))] @3: Dave is big.[(((((((triple5) -> rule5)) -> rule1)) -> rule3))]