Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is kind. Dave is white. Dave is young. Fiona is blue. Fiona is rough. Gary is blue. Gary is kind. If Fiona is rough and Fiona is blue then Fiona is not smart. If Dave is smart then Dave is not white. All kind things are white. If something is smart and not blue then it is kind. All quiet things are kind. If something is white then it is young. If something is blue and not smart then it is quiet.
Fiona is not kind.
@0: Charlie is kind.[(triple1 OR ((triple2) -> rule5))] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5 OR ((triple1) -> rule3) OR ((((triple2) -> rule5)) -> rule3))] Dave is kind.[(triple6)] Dave is white.[(triple7 OR ((triple6) -> rule3))] Dave is young.[(triple8 OR ((triple7) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] Fiona is blue.[(triple9)] Fiona is rough.[(triple10)] Gary is blue.[(triple11)] Gary is kind.[(triple12)] @1: Charlie is young.[(((triple5) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule3)) -> rule6))] Fiona is not smart.[(((triple10 triple9) -> rule1))] Gary is white.[(((triple12) -> rule3))] @2: Fiona is quiet.[(((triple9 ((triple10 triple9) -> rule1)) -> rule7))] Gary is young.[(((((triple12) -> rule3)) -> rule6))] @3: Fiona is kind.[(((((triple9 ((triple10 triple9) -> rule1)) -> rule7)) -> rule5))] @4: Fiona is white.[(((((((triple9 ((triple10 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule3))] @5: Fiona is young.[(((((((((triple9 ((triple10 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule3)) -> rule6))]