Charlie is blue. Charlie is green. Dave is rough. Erin is not cold. Erin is green. Erin is rough. Erin is young. Harry is green. Harry is red. Harry is rough. Harry is not young. All rough people are red. If someone is blue then they are rough. All green people are rough. If someone is quiet then they are cold. If Harry is blue then Harry is green. If Dave is blue and Dave is red then Dave is quiet. Rough, red people are blue. Green, cold people are not quiet. Cold people are not young.
Charlie is not quiet.
@0: Charlie is blue.[(triple1 OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule1)) -> rule7))] Charlie is green.[(triple2)] Dave is rough.[(triple3)] Erin is green.[(triple5)] Erin is not cold.[(triple4)] Erin is rough.[(triple6 OR ((triple5) -> rule3))] Erin is young.[(triple7)] Harry is green.[(triple8 OR ((((triple10 triple9) -> rule7)) -> rule5) OR ((((triple10 ((triple10) -> rule1)) -> rule7)) -> rule5))] Harry is not young.[(triple11)] Harry is red.[(triple9 OR ((triple10) -> rule1) OR ((((triple8) -> rule3)) -> rule1))] Harry is rough.[(triple10 OR ((triple8) -> rule3))] @1: Charlie is rough.[(((triple1) -> rule2) OR ((triple2) -> rule3))] Dave is red.[(((triple3) -> rule1))] Erin is red.[(((triple6) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Harry is blue.[(((triple10 triple9) -> rule7) OR ((triple10 ((triple10) -> rule1)) -> rule7) OR ((((triple8) -> rule3) triple9) -> rule7) OR ((((triple8) -> rule3) ((triple10) -> rule1)) -> rule7) OR ((triple10 ((((triple8) -> rule3)) -> rule1)) -> rule7) OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule1)) -> rule7))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Dave is blue.[(((triple3 ((triple3) -> rule1)) -> rule7))] Erin is blue.[(((triple6 ((triple6) -> rule1)) -> rule7) OR ((((triple5) -> rule3) ((triple6) -> rule1)) -> rule7) OR ((triple6 ((((triple5) -> rule3)) -> rule1)) -> rule7) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule7))] @3: Dave is quiet.[(((((triple3 ((triple3) -> rule1)) -> rule7) ((triple3) -> rule1)) -> rule6))] @4: Dave is cold.[(((((((triple3 ((triple3) -> rule1)) -> rule7) ((triple3) -> rule1)) -> rule6)) -> rule4))] @5: Dave is not young.[(((((((((triple3 ((triple3) -> rule1)) -> rule7) ((triple3) -> rule1)) -> rule6)) -> rule4)) -> rule9))]