Bob is a big, round, nice, and red fellow is looking a bit green righ now. From a certain angle Charlie is blue but he is young so maybe that will go away. Fred is very nice to people, but he's also rather big. Gary wears all blue. When you meet someone round, blue and nice they are as a rule rough. When anyone can be described as nice, young and big, they can also be described as red. People that are big and cold are blue as well. A young aged blue person will certainly be nice. A person with rough skin who has been standing in the cold will turn red. If somebody has the characteristics of being blue, rough and green, they are also going to be cold. When a round individual is nice to others, they are also feeling blue.
Bob is not blue.
@0: Bob is big.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2 OR ((((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1) triple4) -> rule6) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1)) -> rule5))] Bob is round.[(triple1)] Charlie is blue.[(triple7)] Charlie is young.[(triple6)] Fred is big.[(triple9)] Fred is nice.[(triple8)] Gary is blue.[(triple10)] @1: Bob is blue.[(((triple1 triple3) -> rule7))] Charlie is nice.[(((triple6 triple7) -> rule4))] @2: Bob is rough.[(((((triple1 triple3) -> rule7) triple3 triple1) -> rule1))] @3: Bob is cold.[(((((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3 triple1) -> rule1) triple4) -> rule6))]