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 rough.
@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))]