Dave is big. Dave is blue. Dave is green. Dave is rough. Dave is not round. Dave is smart. Dave is young. All smart things are young. Blue, rough things are young. All round things are not young. If Dave is young then Dave is smart. All young, rough things are big. If something is green then it is blue.
Dave is big.
@0: Dave is big.[(triple1 OR ((triple7 triple4) -> rule5) OR ((((triple6) -> rule1) triple4) -> rule5) OR ((((triple2 triple4) -> rule2) triple4) -> rule5) OR ((((((triple3) -> rule6) triple4) -> rule2) triple4) -> rule5))] Dave is blue.[(triple2 OR ((triple3) -> rule6))] Dave is green.[(triple3)] Dave is not round.[(triple5)] Dave is rough.[(triple4)] Dave is smart.[(triple6 OR ((triple7) -> rule4) OR ((((triple2 triple4) -> rule2)) -> rule4) OR ((((((triple3) -> rule6) triple4) -> rule2)) -> rule4))] Dave is young.[(triple7 OR ((triple6) -> rule1) OR ((triple2 triple4) -> rule2) OR ((((triple3) -> rule6) triple4) -> rule2))]