Bob is blue. Bob is nice. Charlie is blue. Charlie is cold. Gary is furry. Gary is kind. Gary is nice. Furry, nice things are big. If Charlie is blue and Charlie is kind then Charlie is big. Young, blue things are furry. All nice, big things are young. Big, young things are blue. All furry things are kind.
Gary is not big.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6 OR ((triple5) -> rule6))] Gary is nice.[(triple7)] @1: Gary is big.[(((triple5 triple7) -> rule1))] @2: Gary is young.[(((triple7 ((triple5 triple7) -> rule1)) -> rule4))] @3: Gary is blue.[(((((triple5 triple7) -> rule1) ((triple7 ((triple5 triple7) -> rule1)) -> rule4)) -> rule5))]