Charlie is red. Charlie is round. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is round. Dave is young. Erin is blue. Erin is green. Big things are nice. If something is round and blue then it is big. All blue, round things are big. All green, young things are big. If Charlie is young then Charlie is red. Red things are green. If Dave is red and Dave is nice then Dave is young. All green things are big.
Erin is not young.
@0: Charlie is red.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple3 OR ((triple5) -> rule8) OR ((triple4 triple7) -> rule3) OR ((triple5 triple8) -> rule4) OR ((triple7 triple4) -> rule2))] Dave is blue.[(triple4)] Dave is green.[(triple5)] Dave is nice.[(triple6 OR ((triple3) -> rule1) OR ((((triple5) -> rule8)) -> rule1) OR ((((triple4 triple7) -> rule3)) -> rule1) OR ((((triple5 triple8) -> rule4)) -> rule1) OR ((((triple7 triple4) -> rule2)) -> rule1))] Dave is round.[(triple7)] Dave is young.[(triple8)] Erin is blue.[(triple9)] Erin is green.[(triple10)] @1: Charlie is green.[(((triple1) -> rule6))] Erin is big.[(((triple10) -> rule8))] @2: Charlie is big.[(((((triple1) -> rule6)) -> rule8))] Erin is nice.[(((((triple10) -> rule8)) -> rule1))] @3: Charlie is nice.[(((((((triple1) -> rule6)) -> rule8)) -> rule1))]