Anne is kind. Anne is quiet. Anne is round. Anne is young. Bob is red. Charlie is kind. Charlie is rough. Fiona is quiet. Fiona is rough. Fiona is young. Blue people are kind. Kind people are red. If someone is quiet then they are blue.
Charlie is not quiet.
@0: Anne is kind.[(triple1 OR ((((triple2) -> rule3)) -> rule1))] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Bob is red.[(triple5)] Charlie is kind.[(triple6)] Charlie is rough.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] @1: Anne is blue.[(((triple2) -> rule3))] Anne is red.[(((triple1) -> rule2) OR ((((((triple2) -> rule3)) -> rule1)) -> rule2))] Charlie is red.[(((triple6) -> rule2))] Fiona is blue.[(((triple8) -> rule3))] @2: Fiona is kind.[(((((triple8) -> rule3)) -> rule1))] @3: Fiona is red.[(((((((triple8) -> rule3)) -> rule1)) -> rule2))]