Dave is cold to his ex-wife. She knows he is round and red. He is kind to everyone else. Eric is a round and rough around the edges, and he is also big. Fred may be round, but he is also kind. Gary is a kind person and he is also often cold. Red people are almost always rough. Someone who is a young age and looks like they are round are also red. Count on anyone you meet who is big, round, and red also being kind. A kind person will certainly be young. When somebody is red, blue and round, you can bet they are also rough. I bet anyone who is round and kind is also pretty young.
Gary is not red.
@0: Dave is cold.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2 OR ((((triple3) -> rule4) triple1) -> rule2) OR ((((triple1 triple3) -> rule6) triple1) -> rule2))] Dave is round.[(triple1)] Eric is big.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Fred is kind.[(triple9)] Fred is round.[(triple8)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] @1: Dave is rough.[(((triple2) -> rule1) OR ((((((triple3) -> rule4) triple1) -> rule2)) -> rule1) OR ((((((triple1 triple3) -> rule6) triple1) -> rule2)) -> rule1))] Dave is young.[(((triple3) -> rule4) OR ((triple1 triple3) -> rule6))] Fred is young.[(((triple9) -> rule4) OR ((triple8 triple9) -> rule6))] Gary is young.[(((triple10) -> rule4))] @2: Fred is red.[(((((triple9) -> rule4) triple8) -> rule2) OR ((((triple8 triple9) -> rule6) triple8) -> rule2))] @3: Fred is rough.[(((((((triple9) -> rule4) triple8) -> rule2)) -> rule1) OR ((((((triple8 triple9) -> rule6) triple8) -> rule2)) -> rule1))]