Anne is kind. Anne is red. Anne is round. Anne is smart. Anne is young. Charlie is big. Charlie is young. All big, red things are round. If Charlie is young then Charlie is big. Red things are young. If something is red then it is round. If Charlie is white then Charlie is kind. If Charlie is round and Charlie is smart then Charlie is kind. If something is young then it is big. If something is kind and young then it is smart.
Charlie is not young.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule4) OR ((((triple5) -> rule7) triple2) -> rule1) OR ((((((triple2) -> rule3)) -> rule7) triple2) -> rule1))] Anne is smart.[(triple4 OR ((triple1 triple5) -> rule8) OR ((triple1 ((triple2) -> rule3)) -> rule8))] Anne is young.[(triple5 OR ((triple2) -> rule3))] Charlie is big.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule7))] Charlie is young.[(triple7)] @1: Anne is big.[(((triple5) -> rule7) OR ((((triple2) -> rule3)) -> rule7))]