Dave is big. Dave is furry. Dave is green. Dave is round. Dave is smart. Dave is white. Dave is young. White people are round. If someone is white then they are green. If someone is smart and big then they are furry. All round, smart people are big. All smart people are young. If Dave is white and Dave is furry then Dave is young.
Dave is green.
@0: Dave is big.[(triple1 OR ((triple4 triple5) -> rule4) OR ((((triple6) -> rule1) triple5) -> rule4))] Dave is furry.[(triple2 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple4 triple5) -> rule4)) -> rule3) OR ((triple5 ((((triple6) -> rule1) triple5) -> rule4)) -> rule3))] Dave is green.[(triple3 OR ((triple6) -> rule2))] Dave is round.[(triple4 OR ((triple6) -> rule1))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple5) -> rule5) OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple5 triple1) -> rule3)) -> rule6) OR ((triple6 ((triple5 ((triple4 triple5) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((triple5 ((((triple6) -> rule1) triple5) -> rule4)) -> rule3)) -> rule6))]