Bob is kind. Bob is red. Bob is rough. Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Harry is kind. If Dave is rough and Dave is quiet then Dave is kind. Kind people are big. All cold people are red.
Bob is big.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Dave is big.[(triple4 OR ((triple6) -> rule2) OR ((((triple9 triple7) -> rule1)) -> rule2))] Dave is cold.[(triple5)] Dave is kind.[(triple6 OR ((triple9 triple7) -> rule1))] Dave is quiet.[(triple7)] Dave is red.[(triple8 OR ((triple5) -> rule3))] Dave is rough.[(triple9)] Harry is kind.[(triple10)] @1: Bob is big.[(((triple1) -> rule2))] Harry is big.[(((triple10) -> rule2))]