Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is not smart. Charlie is white. Charlie is young. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Fiona is not smart. Fiona is white. Fiona is young. If someone is nice then they are round. If someone is white and not green then they are smart. If someone is young then they are not smart. If someone is young and not red then they are nice. If someone is nice then they are young. If someone is red and round then they are young.
Charlie is not nice.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is not smart.[(triple5 OR ((triple7) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple3 triple4) -> rule6)) -> rule3) OR ((((triple3 ((triple2) -> rule1)) -> rule6)) -> rule3))] Charlie is red.[(triple3)] Charlie is round.[(triple4 OR ((triple2) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple2) -> rule5) OR ((triple3 triple4) -> rule6) OR ((triple3 ((triple2) -> rule1)) -> rule6))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is not smart.[(triple12 OR ((triple14) -> rule3) OR ((((triple9) -> rule5)) -> rule3) OR ((((triple10 triple11) -> rule6)) -> rule3) OR ((((triple10 ((triple9) -> rule1)) -> rule6)) -> rule3))] Fiona is red.[(triple10)] Fiona is round.[(triple11 OR ((triple9) -> rule1))] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple9) -> rule5) OR ((triple10 triple11) -> rule6) OR ((triple10 ((triple9) -> rule1)) -> rule6))]