Dave is blue. Dave is not furry. Dave is kind. Dave is red. Dave is white. Gary is big. Gary is blue. Gary is kind. Gary is quiet. Gary is red. If Gary is red then Gary is furry. If someone is kind then they are big. If someone is big and not kind then they are white.
Dave is blue.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple3)] Dave is not furry.[(triple2)] Dave is red.[(triple4)] Dave is white.[(triple5)] Gary is big.[(triple6 OR ((triple8) -> rule2))] Gary is blue.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] @1: Dave is big.[(((triple3) -> rule2))] Gary is furry.[(((triple10) -> rule1))]