Charlie is furry. Charlie is rough. Charlie is round. Charlie is white. Erin is furry. Erin is rough. Fiona is cold. Fiona is not furry. Fiona is not green. Fiona is red. Fiona is rough. Fiona is white. All round, white people are rough. If someone is cold and not furry then they are rough. All round, rough people are not green. If someone is furry and not cold then they are green. If Fiona is furry and Fiona is not cold then Fiona is rough. Furry people are red.
Charlie is white.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2 OR ((triple3 triple4) -> rule1))] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is furry.[(triple5)] Erin is rough.[(triple6)] Fiona is cold.[(triple7)] Fiona is not furry.[(triple8)] Fiona is not green.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11 OR ((triple7 triple8) -> rule2))] Fiona is white.[(triple12)] @1: Charlie is not green.[(((triple3 triple2) -> rule3) OR ((triple3 ((triple3 triple4) -> rule1)) -> rule3))] Charlie is red.[(((triple1) -> rule6))] Erin is red.[(((triple5) -> rule6))]