Anne is red. Anne is round. Anne is young. Charlie is kind. Charlie is smart. Charlie is young. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Red people are round. If Anne is young then Anne is big. Smart people are red. All kind, red people are quiet. All quiet, smart people are young. All smart people are young.
Charlie is not young.
@0: Anne is red.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule1))] Anne is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is smart.[(triple5)] Charlie is young.[(triple6 OR ((triple5) -> rule6) OR ((((triple4 ((triple5) -> rule3)) -> rule4) triple5) -> rule5))] Dave is kind.[(triple7)] Dave is quiet.[(triple8 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple10) -> rule3)) -> rule4))] Dave is red.[(triple9 OR ((triple10) -> rule3))] Dave is smart.[(triple10)] @1: Anne is big.[(((triple3) -> rule2))] Charlie is red.[(((triple5) -> rule3))] Dave is round.[(((triple9) -> rule1) OR ((((triple10) -> rule3)) -> rule1))] Dave is young.[(((triple10) -> rule6) OR ((triple8 triple10) -> rule5) OR ((((triple7 triple9) -> rule4) triple10) -> rule5) OR ((((triple7 ((triple10) -> rule3)) -> rule4) triple10) -> rule5))] @2: Charlie is quiet.[(((triple4 ((triple5) -> rule3)) -> rule4))] Charlie is round.[(((((triple5) -> rule3)) -> rule1))]