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