Bob is big and dresses in blue. Dave, that young round kid, is kind whenever he's blue. Eric is green, which is a possible explanation for why he is so nice. Harry is colored blue and red. He is also kind and cold to the touch. Nice blue people are often rough. I have found that blue, kind people are big. A kind red person is also a blue person. Big, kind people are nice. If a big person is cold and nice, then they are green. Young and kind folks are always big. Red people who are green and blue are always kind.
Bob is not big.
@0: Bob is big.[(triple2)] Bob is blue.[(triple1)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Harry is blue.[(triple12 OR ((triple10 triple9) -> rule3))] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] @1: Dave is big.[(((triple5 triple3) -> rule6) OR ((triple6 triple5) -> rule2))] Harry is big.[(((triple12 triple10) -> rule2) OR ((((triple10 triple9) -> rule3) triple10) -> rule2))] @2: Dave is nice.[(((triple5 ((triple5 triple3) -> rule6)) -> rule4) OR ((triple5 ((triple6 triple5) -> rule2)) -> rule4))] Harry is nice.[(((triple10 ((triple12 triple10) -> rule2)) -> rule4) OR ((triple10 ((((triple10 triple9) -> rule3) triple10) -> rule2)) -> rule4))] @3: Dave is rough.[(((((triple5 ((triple5 triple3) -> rule6)) -> rule4) triple6) -> rule1) OR ((((triple5 ((triple6 triple5) -> rule2)) -> rule4) triple6) -> rule1))] Harry is green.[(((triple11 ((triple12 triple10) -> rule2) ((triple10 ((triple12 triple10) -> rule2)) -> rule4)) -> rule5) OR ((triple11 ((((triple10 triple9) -> rule3) triple10) -> rule2) ((triple10 ((triple12 triple10) -> rule2)) -> rule4)) -> rule5) OR ((triple11 ((triple12 triple10) -> rule2) ((triple10 ((((triple10 triple9) -> rule3) triple10) -> rule2)) -> rule4)) -> rule5) OR ((triple11 ((((triple10 triple9) -> rule3) triple10) -> rule2) ((triple10 ((((triple10 triple9) -> rule3) triple10) -> rule2)) -> rule4)) -> rule5))] Harry is rough.[(((((triple10 ((triple12 triple10) -> rule2)) -> rule4) triple12) -> rule1) OR ((((triple10 ((triple12 triple10) -> rule2)) -> rule4) ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple10 ((((triple10 triple9) -> rule3) triple10) -> rule2)) -> rule4) triple12) -> rule1) OR ((((triple10 ((((triple10 triple9) -> rule3) triple10) -> rule2)) -> rule4) ((triple10 triple9) -> rule3)) -> rule1))]