Charlie is big. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Erin is big. Erin is green. Erin is kind. Erin is rough. Erin is round. Erin is white. Erin is young. If someone is rough then they are young. Big, green people are kind. If Erin is young and Erin is rough then Erin is green. If someone is young and not white then they are not big. If someone is young and green then they are big. If someone is white and not big then they are not round.
Erin is rough.
@0: Charlie is big.[(triple1 OR ((triple7 triple2) -> rule5) OR ((((triple4) -> rule1) triple2) -> rule5))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple1 triple2) -> rule2) OR ((((triple7 triple2) -> rule5) triple2) -> rule2) OR ((((((triple4) -> rule1) triple2) -> rule5) triple2) -> rule2))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule1))] Erin is big.[(triple8 OR ((triple14 triple9) -> rule5) OR ((triple14 ((triple14 triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule1) triple9) -> rule5) OR ((((triple11) -> rule1) ((triple14 triple11) -> rule3)) -> rule5) OR ((triple14 ((((triple11) -> rule1) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule3)) -> rule5))] Erin is green.[(triple9 OR ((triple14 triple11) -> rule3) OR ((((triple11) -> rule1) triple11) -> rule3))] Erin is kind.[(triple10 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple14 triple11) -> rule3)) -> rule2) OR ((((triple14 triple9) -> rule5) triple9) -> rule2) OR ((((triple14 triple9) -> rule5) ((triple14 triple11) -> rule3)) -> rule2) OR ((triple8 ((((triple11) -> rule1) triple11) -> rule3)) -> rule2) OR ((((triple14 ((triple14 triple11) -> rule3)) -> rule5) triple9) -> rule2) OR ((((((triple11) -> rule1) triple9) -> rule5) triple9) -> rule2) OR ((((triple14 triple9) -> rule5) ((((triple11) -> rule1) triple11) -> rule3)) -> rule2) OR ((((triple14 ((triple14 triple11) -> rule3)) -> rule5) ((triple14 triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) triple9) -> rule5) ((triple14 triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) ((triple14 triple11) -> rule3)) -> rule5) triple9) -> rule2) OR ((((triple14 ((triple14 triple11) -> rule3)) -> rule5) ((((triple11) -> rule1) triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) triple9) -> rule5) ((((triple11) -> rule1) triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) ((triple14 triple11) -> rule3)) -> rule5) ((triple14 triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) ((triple14 triple11) -> rule3)) -> rule5) ((((triple11) -> rule1) triple11) -> rule3)) -> rule2) OR ((((triple14 ((((triple11) -> rule1) triple11) -> rule3)) -> rule5) triple9) -> rule2) OR ((((triple14 ((((triple11) -> rule1) triple11) -> rule3)) -> rule5) ((triple14 triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule3)) -> rule5) triple9) -> rule2) OR ((((triple14 ((((triple11) -> rule1) triple11) -> rule3)) -> rule5) ((((triple11) -> rule1) triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule3)) -> rule5) ((triple14 triple11) -> rule3)) -> rule2) OR ((((((triple11) -> rule1) ((((triple11) -> rule1) triple11) -> rule3)) -> rule5) ((((triple11) -> rule1) triple11) -> rule3)) -> rule2))] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14 OR ((triple11) -> rule1))]