Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is not round. Dave is white. Dave is young. If someone is white and big then they are blue. Round, big people are blue. Green, white people are young. All round people are young. Green people are young. If someone is big and not round then they are green. All big people are white. If someone is green then they are kind.
Dave is not big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple6 triple1) -> rule1) OR ((((triple1) -> rule7) triple1) -> rule1))] Dave is green.[(triple3 OR ((triple1 triple5) -> rule6))] Dave is kind.[(triple4 OR ((triple3) -> rule8) OR ((((triple1 triple5) -> rule6)) -> rule8))] Dave is not round.[(triple5)] Dave is white.[(triple6 OR ((triple1) -> rule7))] Dave is young.[(triple7 OR ((triple3) -> rule5) OR ((triple3 triple6) -> rule3) OR ((((triple1 triple5) -> rule6)) -> rule5) OR ((triple3 ((triple1) -> rule7)) -> rule3) OR ((((triple1 triple5) -> rule6) triple6) -> rule3) OR ((((triple1 triple5) -> rule6) ((triple1) -> rule7)) -> rule3))]