Charlie is rough and cold, but he's young and will get over it. Dave was looking rather round and feeling rather cold, but people thought he is kind. They always call him rough Eric. Gary is big and tends to wear red shirts. Big, young people feel cold all the time. People who are green and blue tend to be round in shape. People who are rough are young. All the big and young boys at the park are red. There are so many rough, young people and for some reason they are all big too. Blue, kind, and cold people are habitually rough. Kind people, for example, like the ones at the bank are always blue.
Dave is not red.
@0: Charlie is cold.[(triple3 OR ((triple1 ((triple1 triple2) -> rule5)) -> rule1) OR ((((triple2) -> rule3) ((triple1 triple2) -> rule5)) -> rule1) OR ((triple1 ((((triple2) -> rule3) triple2) -> rule5)) -> rule1) OR ((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule5)) -> rule1))] Charlie is rough.[(triple2)] Charlie is young.[(triple1 OR ((triple2) -> rule3))] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is round.[(triple4)] Eric is rough.[(triple7)] Gary is big.[(triple9)] Gary is red.[(triple8)] @1: Charlie is big.[(((triple1 triple2) -> rule5) OR ((((triple2) -> rule3) triple2) -> rule5))] Dave is blue.[(((triple5) -> rule7))] Eric is young.[(((triple7) -> rule3))] @2: Charlie is red.[(((((triple1 triple2) -> rule5) triple1) -> rule4) OR ((((triple1 triple2) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3) triple2) -> rule5) triple1) -> rule4) OR ((((((triple2) -> rule3) triple2) -> rule5) ((triple2) -> rule3)) -> rule4))] Dave is rough.[(((((triple5) -> rule7) triple5 triple6) -> rule6))] Eric is big.[(((((triple7) -> rule3) triple7) -> rule5))] @3: Dave is young.[(((((((triple5) -> rule7) triple5 triple6) -> rule6)) -> rule3))] Eric is cold.[(((((triple7) -> rule3) ((((triple7) -> rule3) triple7) -> rule5)) -> rule1))] Eric is red.[(((((((triple7) -> rule3) triple7) -> rule5) ((triple7) -> rule3)) -> rule4))] @4: Dave is big.[(((((((((triple5) -> rule7) triple5 triple6) -> rule6)) -> rule3) ((((triple5) -> rule7) triple5 triple6) -> rule6)) -> rule5))] @5: Dave is red.[(((((((((((triple5) -> rule7) triple5 triple6) -> rule6)) -> rule3) ((((triple5) -> rule7) triple5 triple6) -> rule6)) -> rule5) ((((((triple5) -> rule7) triple5 triple6) -> rule6)) -> rule3)) -> rule4))]