Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Dave is a young man who is big and round. He is also kind with a bit of a cold streak. Eric gets red when he is mad and tends to act very cold. A nice and colored blue person will be rather big. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. People who are described as young, green, and big are often considered rough. A blue and green colored person will be round in shape. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. Whenever someone is kind as well as round and cold, they will definitely be blue.
Bob is not big.
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is round.[(triple5 OR ((triple7 triple6 triple8) -> rule6))] Dave is young.[(triple4)] Eric is cold.[(triple10)] Eric is red.[(triple9)] @1: Dave is blue.[(((triple6 triple5 triple7) -> rule7) OR ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7))] @2: Dave is green.[(((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) OR ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2))] @3: Dave is red.[(((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3) OR ((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple5) -> rule3) OR ((triple6 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) ((triple7 triple6 triple8) -> rule6)) -> rule3))] Dave is rough.[(((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 triple5 triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) triple5) -> rule2) triple4) -> rule4) OR ((triple8 ((triple7 ((triple6 ((triple7 triple6 triple8) -> rule6) triple7) -> rule7) ((triple7 triple6 triple8) -> rule6)) -> rule2) triple4) -> rule4))]