Anne is cold. Anne is kind. Bob is cold. Bob is kind. Bob is round. Bob is white. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Gary is furry. Gary is rough. All round things are rough. Furry things are kind. If something is round and cold then it is rough.
Bob is red.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Charlie is furry.[(triple7)] Charlie is kind.[(triple8 OR ((triple7) -> rule2))] Charlie is red.[(triple9)] Charlie is rough.[(triple10)] Gary is furry.[(triple11)] Gary is rough.[(triple12)] @1: Bob is rough.[(((triple5) -> rule1) OR ((triple5 triple3) -> rule3))] Gary is kind.[(((triple11) -> rule2))]