Bob who is considered nice was feeling rather rough today. Charlie is big and round for being so young. He ate some spoiled food that has him feeling green. Harry is a young man is who big and round. He is very kind and never someone who is cold and blue. If a person is blue, rough, and green, then they are also big. Cold people,though green and red,tend to be rough. Pick someone blue, kind and big, and they are certain to be green as well. A downhearted blue person who is kind is round. A young round person who is green is also red. That young person is feeling cold because he is green to the situation making his body shape round. Anyone that's described as young, kind and blue can be said to be cold, too.
Harry is not red.
@0: Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10 OR ((triple7 triple11 triple9) -> rule7))] Harry is kind.[(triple9)] Harry is round.[(triple8 OR ((triple9 triple11) -> rule4) OR ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) OR ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6))] Harry is young.[(triple7)] @1: Charlie is red.[(((triple3 triple4 triple5) -> rule5))] Harry is green.[(((triple11 triple9 triple12) -> rule3))] @2: Harry is red.[(((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5))] @3: Harry is rough.[(((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2))]