Dave is big. Dave is cold. Dave is kind. Dave is red. Dave is rough. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is red. Harry is rough. Harry is white. Big people are rough. All kind people are white. If Dave is big then Dave is blue. If Harry is rough then Harry is cold. All rough people are blue. If Harry is red then Harry is cold.
Dave is big.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple1) -> rule1))] Harry is big.[(triple6)] Harry is blue.[(triple7 OR ((triple11) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] Harry is cold.[(triple8 OR ((triple10) -> rule6) OR ((triple11) -> rule4) OR ((((triple6) -> rule1)) -> rule4))] Harry is kind.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((triple6) -> rule1))] Harry is white.[(triple12 OR ((triple9) -> rule2))] @1: Dave is blue.[(((triple1) -> rule3) OR ((triple5) -> rule5) OR ((((triple1) -> rule1)) -> rule5))] Dave is white.[(((triple3) -> rule2))]