Dave is big but round. Despite his size, Dave is always cold in his green sweater. Dave is very nice. Gary is a young man who is a bit on the round side. He can be all over the place as he is nice, kind but also rough and blue with his moods. A nice person with rough skin is red. If a person is blue, rough, and green, then they are also big. Lucky for us, people that are round and red are kind to strangers. A round shaped and rough person will be blue as well. People,though rough and red,tend to be cold too. Somebody fitting a young, blue and round description will also fit a green description. A green person is going to be rough.
Eric is green.
@0: Dave is big.[(triple5 OR ((((((triple3) -> rule7) triple1) -> rule4) ((triple3) -> rule7) triple3) -> rule2))] Dave is cold.[(triple4 OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple2) -> rule1)) -> rule5))] Dave is green.[(triple3)] Dave is nice.[(triple2)] Dave is round.[(triple1)] Gary is blue.[(triple11 OR ((triple8 triple7) -> rule4))] Gary is kind.[(triple10 OR ((triple7 ((triple8 triple9) -> rule1)) -> rule3) OR ((triple7 ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1)) -> rule3))] Gary is nice.[(triple9)] Gary is rough.[(triple8 OR ((((triple11 triple6 triple7) -> rule6)) -> rule7))] Gary is round.[(triple7)] Gary is young.[(triple6)] @1: Dave is rough.[(((triple3) -> rule7))] Gary is green.[(((triple11 triple6 triple7) -> rule6) OR ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6))] Gary is red.[(((triple8 triple9) -> rule1) OR ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1))] @2: Dave is blue.[(((((triple3) -> rule7) triple1) -> rule4))] Dave is red.[(((((triple3) -> rule7) triple2) -> rule1))] Gary is big.[(((triple11 triple8 ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) triple8 ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((triple11 triple8 ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) triple8 ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((triple11 ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple11 triple6 triple7) -> rule6)) -> rule2) OR ((((triple8 triple7) -> rule4) ((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((triple8 triple7) -> rule4) triple6 triple7) -> rule6)) -> rule2))] Gary is cold.[(((triple8 ((triple8 triple9) -> rule1)) -> rule5) OR ((((((triple11 triple6 triple7) -> rule6)) -> rule7) ((triple8 triple9) -> rule1)) -> rule5) OR ((triple8 ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1)) -> rule5) OR ((((((triple11 triple6 triple7) -> rule6)) -> rule7) ((((((triple11 triple6 triple7) -> rule6)) -> rule7) triple9) -> rule1)) -> rule5))] @3: Dave is kind.[(((triple1 ((((triple3) -> rule7) triple2) -> rule1)) -> rule3))]