Alan is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Eric is very big for being so young. Fred is very big for being so young. Big Gary is a young, round man. A kind person, blue with cold, is certainly very young and has forgotten their coat. A person that is nice and big is always round. Absolutely, you can be sure that anyone with the combined features of being rough, red, and round, will always be kind. Rough, big people are always round, no matter what. Young people who are big are often rough. If a person is both rough and round, you know they are also red.
Alan is young.
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Eric is big.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple10)] Gary is round.[(triple9 OR ((((triple8 triple10) -> rule5) triple10) -> rule4))] Gary is young.[(triple8)] @1: Eric is rough.[(((triple4 triple5) -> rule5))] Fred is rough.[(((triple6 triple7) -> rule5))] Gary is rough.[(((triple8 triple10) -> rule5))] @2: Eric is round.[(((((triple4 triple5) -> rule5) triple5) -> rule4))] Fred is round.[(((((triple6 triple7) -> rule5) triple7) -> rule4))] Gary is red.[(((((triple8 triple10) -> rule5) triple9) -> rule6) OR ((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) triple10) -> rule4)) -> rule6))] @3: Eric is red.[(((((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple5) -> rule4)) -> rule6))] Fred is red.[(((((triple6 triple7) -> rule5) ((((triple6 triple7) -> rule5) triple7) -> rule4)) -> rule6))] Gary is kind.[(((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) triple9) -> rule6) triple9) -> rule3) OR ((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) triple9) -> rule6) ((((triple8 triple10) -> rule5) triple10) -> rule4)) -> rule3) OR ((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) triple10) -> rule4)) -> rule6) triple9) -> rule3) OR ((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) ((((triple8 triple10) -> rule5) triple10) -> rule4)) -> rule6) ((((triple8 triple10) -> rule5) triple10) -> rule4)) -> rule3))] @4: Eric is kind.[(((((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) ((((triple4 triple5) -> rule5) triple5) -> rule4)) -> rule6) ((((triple4 triple5) -> rule5) triple5) -> rule4)) -> rule3))] Fred is kind.[(((((triple6 triple7) -> rule5) ((((triple6 triple7) -> rule5) ((((triple6 triple7) -> rule5) triple7) -> rule4)) -> rule6) ((((triple6 triple7) -> rule5) triple7) -> rule4)) -> rule3))]