Bob is green. Bob is kind. Bob is round. Charlie is cold. Charlie is kind. Gary is not big. Gary is not cold. Gary is red. Harry is red. Harry is round. If someone is big and not cold then they are round. Kind people are not red. If Bob is kind then Bob is round.
Harry is not round.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule3))] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Gary is not big.[(triple6)] Gary is not cold.[(triple7)] Gary is red.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] @1: Bob is not red.[(((triple2) -> rule2))] Charlie is not red.[(((triple5) -> rule2))]