Young and round are accurate ways to describe Bob, and so are cold, red, big and rough. Fred is very big for being so young. Gary is young in age, round in form, wears blue and is rough. If you come across a cold, red person with a round shape you'll find they are nice people. Big round people are usually blue. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. A rough person will also be a cold person. Cold and rough people are usually red. Young people who are big are often rough. Big and round people,though cold,are often nice.
Fred is blue.
@0: Bob is big.[(triple6)] Bob is cold.[(triple5 OR ((triple3) -> rule4) OR ((((triple1 triple6) -> rule6)) -> rule4))] Bob is red.[(triple4 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple6) -> rule6) triple5) -> rule5) OR ((((triple1 triple6) -> rule6) ((triple3) -> rule4)) -> rule5) OR ((triple3 ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 triple6) -> rule6) ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5))] Bob is rough.[(triple3 OR ((triple1 triple6) -> rule6))] Bob is round.[(triple2)] Bob is young.[(triple1)] Fred is big.[(triple8)] Fred is young.[(triple7)] Gary is blue.[(triple12)] Gary is rough.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Bob is blue.[(((triple2 triple6) -> rule2))] Bob is nice.[(((triple5 triple2 triple4) -> rule1) OR ((triple6 triple2 triple5) -> rule7) OR ((triple5 triple2 ((triple3 triple5) -> rule5)) -> rule1) OR ((triple6 triple2 ((triple3) -> rule4)) -> rule7) OR ((((triple3) -> rule4) triple2 triple4) -> rule1) OR ((((triple3) -> rule4) triple2 ((triple3 triple5) -> rule5)) -> rule1) OR ((triple5 triple2 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple5 triple2 ((((triple1 triple6) -> rule6) triple5) -> rule5)) -> rule1) OR ((triple6 triple2 ((((triple1 triple6) -> rule6)) -> rule4)) -> rule7) OR ((((((triple1 triple6) -> rule6)) -> rule4) triple2 triple4) -> rule1) OR ((triple5 triple2 ((((triple1 triple6) -> rule6) ((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) triple2 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) triple2 ((((triple1 triple6) -> rule6) triple5) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule6)) -> rule4) triple2 ((triple3 triple5) -> rule5)) -> rule1) OR ((((triple3) -> rule4) triple2 ((((triple1 triple6) -> rule6) ((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule6)) -> rule4) triple2 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule6)) -> rule4) triple2 ((((triple1 triple6) -> rule6) triple5) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule6)) -> rule4) triple2 ((((triple1 triple6) -> rule6) ((triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple5 triple2 ((triple3 ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((triple5 triple2 ((((triple1 triple6) -> rule6) ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) triple2 ((triple3 ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) triple2 ((((triple1 triple6) -> rule6) ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule6)) -> rule4) triple2 ((triple3 ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule6)) -> rule4) triple2 ((((triple1 triple6) -> rule6) ((((triple1 triple6) -> rule6)) -> rule4)) -> rule5)) -> rule1))] Fred is rough.[(((triple7 triple8) -> rule6))] Gary is cold.[(((triple11) -> rule4))] @2: Fred is cold.[(((((triple7 triple8) -> rule6)) -> rule4))] Gary is red.[(((triple11 ((triple11) -> rule4)) -> rule5))] @3: Fred is red.[(((((triple7 triple8) -> rule6) ((((triple7 triple8) -> rule6)) -> rule4)) -> rule5))] Gary is nice.[(((((triple11) -> rule4) triple10 ((triple11 ((triple11) -> rule4)) -> rule5)) -> rule1))]