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