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