Charlie is big. Charlie is green. Charlie is red. Erin is big. Erin is red. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Red, nice people are kind. If someone is quiet and smart then they are nice. If someone is green then they are nice.
Charlie is not nice.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Erin is big.[(triple4)] Erin is red.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple11 triple9) -> rule1) OR ((triple11 ((triple7) -> rule3)) -> rule1) OR ((triple11 ((triple10 triple12) -> rule2)) -> rule1))] Fiona is nice.[(triple9 OR ((triple7) -> rule3) OR ((triple10 triple12) -> rule2))] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is smart.[(triple12)] @1: Charlie is nice.[(((triple2) -> rule3))] @2: Charlie is kind.[(((triple3 ((triple2) -> rule3)) -> rule1))]