Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Dave is blue. Dave is kind. Dave is quiet. Dave is smart. Erin is green. Erin is nice. Erin is quiet. Harry is blue. Harry is red. Harry is smart. If someone is quiet then they are nice. Quiet, red people are blue. If someone is red and blue then they are kind. If someone is blue and kind then they are quiet. If someone is smart and green then they are nice. If someone is quiet and red then they are nice. If someone is quiet and kind then they are blue. If Harry is nice and Harry is smart then Harry is blue.
Dave is green.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple5 triple1) -> rule3))] Charlie is nice.[(triple4 OR ((((triple1 triple3) -> rule4)) -> rule1) OR ((((triple1 triple3) -> rule4) triple5) -> rule6) OR ((((triple1 ((triple5 triple1) -> rule3)) -> rule4)) -> rule1) OR ((((triple1 ((triple5 triple1) -> rule3)) -> rule4) triple5) -> rule6))] Charlie is red.[(triple5)] Dave is blue.[(triple6 OR ((triple8 triple7) -> rule7))] Dave is kind.[(triple7)] Dave is quiet.[(triple8 OR ((triple6 triple7) -> rule4))] Dave is smart.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11 OR ((triple12) -> rule1))] Erin is quiet.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is quiet.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple5 triple1) -> rule3)) -> rule4))] Dave is nice.[(((triple8) -> rule1) OR ((((triple6 triple7) -> rule4)) -> rule1))] Harry is kind.[(((triple14 triple13) -> rule3))] @2: Harry is quiet.[(((triple13 ((triple14 triple13) -> rule3)) -> rule4))] @3: Harry is nice.[(((((triple13 ((triple14 triple13) -> rule3)) -> rule4)) -> rule1) OR ((((triple13 ((triple14 triple13) -> rule3)) -> rule4) triple14) -> rule6))]