Bob fits the description of someone who is rough, red and blue. Gary is a nice person who is red because he has a rash. Harry's a young guy. He's a cold, blue and big guy, too. A very kind and green colored person, who is also cold, will be nice. Any human being with green, big, kind eyes, also has round eyes. Big and cold people are likely to be round, too. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. A young, cold person is often blue. It's just a fact that a blue person is a kind person.
Bob is not blue.
@0: Bob is blue.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Gary is nice.[(triple5)] Gary is red.[(triple4)] Harry is big.[(triple9)] Harry is blue.[(triple8 OR ((triple7 triple6) -> rule5))] Harry is cold.[(triple7)] Harry is young.[(triple6)] @1: Bob is kind.[(((triple3) -> rule6))] Harry is kind.[(((triple8) -> rule6) OR ((((triple7 triple6) -> rule5)) -> rule6))] Harry is round.[(((triple9 triple7) -> rule3))] @2: Harry is green.[(((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) OR ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4))] @3: Harry is nice.[(((((triple8) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((triple8) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 triple8 ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 ((triple7 triple6) -> rule5) ((triple9 triple7) -> rule3)) -> rule4) triple7) -> rule1))]