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