Charlie is blue. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is white. If someone is kind and nice then they are smart. If someone is blue and not green then they are white. All quiet, white people are kind.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple3 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple1 triple2) -> rule2)) -> rule3))] Charlie is nice.[(triple4)] Charlie is not green.[(triple2)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6 OR ((triple3 triple4) -> rule1) OR ((((triple5 triple7) -> rule3) triple4) -> rule1) OR ((((triple5 ((triple1 triple2) -> rule2)) -> rule3) triple4) -> rule1))] Charlie is white.[(triple7 OR ((triple1 triple2) -> rule2))] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10 OR ((triple12 triple14) -> rule3))] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Erin is smart.[(triple13 OR ((triple10 triple11) -> rule1) OR ((((triple12 triple14) -> rule3) triple11) -> rule1))] Erin is white.[(triple14)]