Bob is cold to his ex-wife. She knows he is round and red. He is kind to everyone else. Eric is known for being big and rough, but few know he is also always red with cold. For being so cold, it's good Gary can remain nice. For being so cold, it's good Harry can remain nice. Round people who feel blue and are green in color are often young in age. Rough people who are red in color and big are usally round in shape. Kind red people are green on the inside. A rather big person is a red person. A nice but rough person will also be green and cold. A big and round individual is sure to be a kind individual, too. A person that is red, rough and kind often feels cold.
Bob is not red.
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple8)] Eric is cold.[(triple7 OR ((triple5 triple6 ((triple8 ((triple6 triple5 triple8) -> rule2)) -> rule6)) -> rule7) OR ((triple5 ((triple8) -> rule4) ((triple8 ((triple6 triple5 triple8) -> rule2)) -> rule6)) -> rule7) OR ((triple5 triple6 ((triple8 ((((triple8) -> rule4) triple5 triple8) -> rule2)) -> rule6)) -> rule7) OR ((triple5 ((triple8) -> rule4) ((triple8 ((((triple8) -> rule4) triple5 triple8) -> rule2)) -> rule6)) -> rule7))] Eric is red.[(triple6 OR ((triple8) -> rule4))] Eric is rough.[(triple5)] Gary is cold.[(triple10)] Gary is nice.[(triple9)] Harry is cold.[(triple12)] Harry is nice.[(triple11)] @1: Bob is green.[(((triple3 triple2) -> rule3))] Eric is round.[(((triple6 triple5 triple8) -> rule2) OR ((((triple8) -> rule4) triple5 triple8) -> rule2))] @2: Eric is kind.[(((triple8 ((triple6 triple5 triple8) -> rule2)) -> rule6) OR ((triple8 ((((triple8) -> rule4) triple5 triple8) -> rule2)) -> rule6))] @3: Eric is green.[(((((triple8 ((triple6 triple5 triple8) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple8 ((triple6 triple5 triple8) -> rule2)) -> rule6) ((triple8) -> rule4)) -> rule3) OR ((((triple8 ((((triple8) -> rule4) triple5 triple8) -> rule2)) -> rule6) triple6) -> rule3) OR ((((triple8 ((((triple8) -> rule4) triple5 triple8) -> rule2)) -> rule6) ((triple8) -> rule4)) -> rule3))]