Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Erin is kind. Erin is nice. Erin is quiet. Fiona is quiet. Fiona is rough. Harry is smart. All rough, green people are quiet. If someone is green and rough then they are nice. All kind, smart people are green. If Erin is green and Erin is blue then Erin is quiet. All quiet people are smart. All kind people are green. If someone is smart then they are kind. All rough, nice people are blue.
Erin is nice.
@0: Charlie is green.[(triple1 OR ((triple2) -> rule6))] Charlie is kind.[(triple2 OR ((((((triple4 triple1) -> rule1)) -> rule5)) -> rule7))] Charlie is nice.[(triple3 OR ((triple1 triple4) -> rule2) OR ((((triple2) -> rule6) triple4) -> rule2))] Charlie is rough.[(triple4)] Erin is kind.[(triple5 OR ((((triple7) -> rule5)) -> rule7))] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is blue.[(((triple4 triple3) -> rule8) OR ((triple4 ((triple1 triple4) -> rule2)) -> rule8) OR ((triple4 ((((triple2) -> rule6) triple4) -> rule2)) -> rule8))] Charlie is quiet.[(((triple4 triple1) -> rule1) OR ((triple4 ((triple2) -> rule6)) -> rule1))] Erin is green.[(((triple5) -> rule6) OR ((triple5 ((triple7) -> rule5)) -> rule3) OR ((((((triple7) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule5)) -> rule7) ((triple7) -> rule5)) -> rule3))] Erin is smart.[(((triple7) -> rule5))] Fiona is smart.[(((triple8) -> rule5))] Harry is kind.[(((triple10) -> rule7))] @2: Charlie is smart.[(((((triple4 triple1) -> rule1)) -> rule5) OR ((((triple4 ((triple2) -> rule6)) -> rule1)) -> rule5))] Fiona is kind.[(((((triple8) -> rule5)) -> rule7))] Harry is green.[(((((triple10) -> rule7)) -> rule6) OR ((((triple10) -> rule7) triple10) -> rule3))] @3: Fiona is green.[(((((((triple8) -> rule5)) -> rule7)) -> rule6) OR ((((((triple8) -> rule5)) -> rule7) ((triple8) -> rule5)) -> rule3))] @4: Fiona is nice.[(((((((((triple8) -> rule5)) -> rule7)) -> rule6) triple9) -> rule2) OR ((((((((triple8) -> rule5)) -> rule7) ((triple8) -> rule5)) -> rule3) triple9) -> rule2))] @5: Fiona is blue.[(((triple9 ((((((((triple8) -> rule5)) -> rule7)) -> rule6) triple9) -> rule2)) -> rule8) OR ((triple9 ((((((((triple8) -> rule5)) -> rule7) ((triple8) -> rule5)) -> rule3) triple9) -> rule2)) -> rule8))]