Charlie is blue. Dave is quiet. Erin is blue. Erin is green. Erin is quiet. Erin is round. Gary is blue. All green people are kind. All kind, round people are red. If someone is kind then they are quiet. All quiet, red people are nice. If someone is blue then they are green. If someone is green and kind then they are blue. If someone is kind then they are round. Nice, blue people are red. All red, quiet people are kind.
Dave is green.
@0: Charlie is blue.[(triple1)] Dave is quiet.[(triple2)] Erin is blue.[(triple3 OR ((triple4 ((triple4) -> rule1)) -> rule6))] Erin is green.[(triple4 OR ((triple3) -> rule5))] Erin is quiet.[(triple5 OR ((((triple4) -> rule1)) -> rule3) OR ((((((triple3) -> rule5)) -> rule1)) -> rule3))] Erin is round.[(triple6 OR ((((triple4) -> rule1)) -> rule7) OR ((((((triple3) -> rule5)) -> rule1)) -> rule7))] Gary is blue.[(triple7)] @1: Charlie is green.[(((triple1) -> rule5))] Erin is kind.[(((triple4) -> rule1) OR ((((triple3) -> rule5)) -> rule1))] Gary is green.[(((triple7) -> rule5))] @2: Charlie is kind.[(((((triple1) -> rule5)) -> rule1))] Erin is red.[(((((triple4) -> rule1) triple6) -> rule2) OR ((((((triple3) -> rule5)) -> rule1) triple6) -> rule2) OR ((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2) OR ((((((triple3) -> rule5)) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2) OR ((((triple4) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2) OR ((((((triple3) -> rule5)) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2))] Gary is kind.[(((((triple7) -> rule5)) -> rule1))] @3: Charlie is quiet.[(((((((triple1) -> rule5)) -> rule1)) -> rule3))] Charlie is round.[(((((((triple1) -> rule5)) -> rule1)) -> rule7))] Erin is nice.[(((triple5 ((((triple4) -> rule1) triple6) -> rule2)) -> rule4) OR ((((((triple4) -> rule1)) -> rule3) ((((triple4) -> rule1) triple6) -> rule2)) -> rule4) OR ((triple5 ((((((triple3) -> rule5)) -> rule1) triple6) -> rule2)) -> rule4) OR ((triple5 ((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((triple5 ((((((triple3) -> rule5)) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((triple4) -> rule1)) -> rule3) ((((((triple3) -> rule5)) -> rule1) triple6) -> rule2)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule3) ((((triple4) -> rule1) triple6) -> rule2)) -> rule4) OR ((((((triple4) -> rule1)) -> rule3) ((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule3) ((((((triple3) -> rule5)) -> rule1) triple6) -> rule2)) -> rule4) OR ((((((triple4) -> rule1)) -> rule3) ((((((triple3) -> rule5)) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule3) ((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule3) ((((((triple3) -> rule5)) -> rule1) ((((triple4) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((triple5 ((((triple4) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((triple5 ((((((triple3) -> rule5)) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((triple4) -> rule1)) -> rule3) ((((triple4) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((triple4) -> rule1)) -> rule3) ((((((triple3) -> rule5)) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule3) ((((triple4) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule3) ((((((triple3) -> rule5)) -> rule1) ((((((triple3) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4))] Gary is quiet.[(((((((triple7) -> rule5)) -> rule1)) -> rule3))] Gary is round.[(((((((triple7) -> rule5)) -> rule1)) -> rule7))] @4: Charlie is red.[(((((((triple1) -> rule5)) -> rule1) ((((((triple1) -> rule5)) -> rule1)) -> rule7)) -> rule2))] Gary is red.[(((((((triple7) -> rule5)) -> rule1) ((((((triple7) -> rule5)) -> rule1)) -> rule7)) -> rule2))] @5: Charlie is nice.[(((((((((triple1) -> rule5)) -> rule1)) -> rule3) ((((((triple1) -> rule5)) -> rule1) ((((((triple1) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4))] Gary is nice.[(((((((((triple7) -> rule5)) -> rule1)) -> rule3) ((((((triple7) -> rule5)) -> rule1) ((((((triple7) -> rule5)) -> rule1)) -> rule7)) -> rule2)) -> rule4))]