Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is round. Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Kind people are green. All green, quiet people are blue. All round people are blue. If Anne is kind and Anne is big then Anne is blue. If someone is green and quiet then they are kind. If someone is kind and round then they are green.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple7) -> rule3) OR ((triple3 triple5) -> rule2) OR ((triple4 triple1) -> rule4) OR ((((triple4) -> rule1) triple5) -> rule2) OR ((((triple3 triple5) -> rule5) triple1) -> rule4) OR ((((triple4 triple7) -> rule6) triple5) -> rule2))] Anne is green.[(triple3 OR ((triple4) -> rule1) OR ((triple4 triple7) -> rule6))] Anne is kind.[(triple4 OR ((triple3 triple5) -> rule5))] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is round.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9 OR ((triple14) -> rule3) OR ((triple10 triple12) -> rule2) OR ((((triple11) -> rule1) triple12) -> rule2) OR ((((triple11 triple14) -> rule6) triple12) -> rule2))] Charlie is green.[(triple10 OR ((triple11) -> rule1) OR ((triple11 triple14) -> rule6))] Charlie is kind.[(triple11 OR ((triple10 triple12) -> rule5))] Charlie is quiet.[(triple12)] Charlie is red.[(triple13)] Charlie is round.[(triple14)]