Bob is big. Bob is rough. Bob is round. Dave is big. Dave is quiet. Dave is white. Erin is quiet. If something is round then it is green. Big things are white. If Dave is green then Dave is white. White things are green. If something is white then it is young. Green things are quiet.
Dave is rough.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Dave is big.[(triple4)] Dave is quiet.[(triple5 OR ((((triple6) -> rule4)) -> rule6) OR ((((((triple4) -> rule2)) -> rule4)) -> rule6))] Dave is white.[(triple6 OR ((triple4) -> rule2))] Erin is quiet.[(triple7)] @1: Bob is green.[(((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule4))] Bob is white.[(((triple1) -> rule2))] Dave is green.[(((triple6) -> rule4) OR ((((triple4) -> rule2)) -> rule4))] Dave is young.[(((triple6) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] @2: Bob is quiet.[(((((triple3) -> rule1)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4)) -> rule6))] Bob is young.[(((((triple1) -> rule2)) -> rule5))]