Young Alan is so nice even though he always feels cold.  He loves to wear blue and green clothes. Bob was born only a few years ago so he is young. Dave ate some rotten meat and now feels green. Everyone knows that Fred is nice and kind, but Fred is also blue from the cold. This makes him look rather round. Being round and nice automatically means a person is kind. If people are nice and round, they look red. An individual that fits the nice, red, and kind description will fit the description of big, too. Red, kind, young people will be rough people, too. People who are green and blue tend to be round in shape. I have found that young, blue, and big individuals are also red. People who are nice and cold are also green.
Alan is red.
@0: Alan is blue.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3 OR ((triple2 triple4) -> rule7))] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is young.[(triple6)] Dave is green.[(triple7)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is kind.[(triple10 OR ((triple8 triple9) -> rule1) OR ((((((triple9 triple11) -> rule7) triple12) -> rule5) triple9) -> rule1))] Fred is nice.[(triple9)] Fred is round.[(triple8 OR ((((triple9 triple11) -> rule7) triple12) -> rule5))] @1: Alan is round.[(((triple3 triple5) -> rule5) OR ((((triple2 triple4) -> rule7) triple5) -> rule5))] Fred is green.[(((triple9 triple11) -> rule7))] Fred is red.[(((triple9 triple8) -> rule2) OR ((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2))] @2: Alan is kind.[(((((triple3 triple5) -> rule5) triple2) -> rule1) OR ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1))] Alan is red.[(((triple2 ((triple3 triple5) -> rule5)) -> rule2) OR ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2))] Fred is big.[(((((triple9 triple8) -> rule2) triple10 triple9) -> rule3) OR ((((triple9 triple8) -> rule2) ((triple8 triple9) -> rule1) triple9) -> rule3) OR ((((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2) triple10 triple9) -> rule3) OR ((((triple9 triple8) -> rule2) ((((((triple9 triple11) -> rule7) triple12) -> rule5) triple9) -> rule1) triple9) -> rule3) OR ((((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2) ((triple8 triple9) -> rule1) triple9) -> rule3) OR ((((triple9 ((((triple9 triple11) -> rule7) triple12) -> rule5)) -> rule2) ((((((triple9 triple11) -> rule7) triple12) -> rule5) triple9) -> rule1) triple9) -> rule3))] @3: Alan is big.[(((((triple2 ((triple3 triple5) -> rule5)) -> rule2) ((((triple3 triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((triple3 triple5) -> rule5)) -> rule2) ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2) ((((triple3 triple5) -> rule5) triple2) -> rule1) triple2) -> rule3) OR ((((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2) ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) triple2) -> rule3))] Alan is rough.[(((triple1 ((((triple3 triple5) -> rule5) triple2) -> rule1) ((triple2 ((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((triple3 triple5) -> rule5) triple2) -> rule1) ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) ((triple2 ((triple3 triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((((triple2 triple4) -> rule7) triple5) -> rule5) triple2) -> rule1) ((triple2 ((((triple2 triple4) -> rule7) triple5) -> rule5)) -> rule2)) -> rule4))]