Anne is big. Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is young. Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is round. Bob is young. All round things are green. All blue things are kind. If something is blue and green then it is young.
Bob is not round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3 OR ((triple6) -> rule1))] Anne is kind.[(triple4 OR ((triple2) -> rule2))] Anne is nice.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple6) -> rule1)) -> rule3))] Bob is big.[(triple8)] Bob is blue.[(triple9)] Bob is green.[(triple10 OR ((triple13) -> rule1))] Bob is kind.[(triple11 OR ((triple9) -> rule2))] Bob is nice.[(triple12)] Bob is round.[(triple13)] Bob is young.[(triple14 OR ((triple9 triple10) -> rule3) OR ((triple9 ((triple13) -> rule1)) -> rule3))]