Anne is blue. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is red. Charlie is rough. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. If someone is rough then they are white. All blue, red people are nice. All blue, red people are kind. All nice people are kind. If someone is red then they are rough. Rough people are white.
Charlie is not rough.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3 OR ((triple2) -> rule5))] Anne is white.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule6) OR ((((triple2) -> rule5)) -> rule1) OR ((((triple2) -> rule5)) -> rule6))] Anne is young.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7 OR ((triple6) -> rule5))] Fiona is blue.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule4) OR ((triple8 triple11) -> rule3) OR ((((triple8 triple11) -> rule2)) -> rule4))] Fiona is nice.[(triple10 OR ((triple8 triple11) -> rule2))] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((triple11) -> rule5))] @1: Anne is kind.[(((triple1 triple2) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule4))] Anne is nice.[(((triple1 triple2) -> rule2))] Charlie is white.[(((triple7) -> rule1) OR ((triple7) -> rule6) OR ((((triple6) -> rule5)) -> rule1) OR ((((triple6) -> rule5)) -> rule6))] Fiona is white.[(((triple12) -> rule1) OR ((triple12) -> rule6) OR ((((triple11) -> rule5)) -> rule1) OR ((((triple11) -> rule5)) -> rule6))]