Bob is green. Bob is kind. Bob is quiet. Bob is round. Charlie is green. Charlie is kind. Charlie is nice. Charlie is round. Charlie is smart. Charlie is young. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is young. If Charlie is green then Charlie is round. If something is quiet then it is round. Nice things are quiet. Quiet, round things are smart. All young, round things are quiet. If Bob is nice and Bob is round then Bob is quiet. If Charlie is quiet then Charlie is smart. If Erin is nice and Erin is quiet then Erin is smart.
Bob is not young.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple3) -> rule2))] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is round.[(triple8 OR ((triple5) -> rule1) OR ((((triple7) -> rule3)) -> rule2))] Charlie is smart.[(triple9 OR ((((triple7) -> rule3)) -> rule7) OR ((((triple10 triple8) -> rule5)) -> rule7) OR ((((triple7) -> rule3) triple8) -> rule4) OR ((((triple10 triple8) -> rule5) triple8) -> rule4) OR ((((triple7) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple5) -> rule1)) -> rule4) OR ((((triple10 ((triple5) -> rule1)) -> rule5)) -> rule7) OR ((((triple10 ((triple5) -> rule1)) -> rule5) triple8) -> rule4) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple10 ((triple5) -> rule1)) -> rule5) ((triple5) -> rule1)) -> rule4) OR ((((triple10 ((triple5) -> rule1)) -> rule5) ((((triple7) -> rule3)) -> rule2)) -> rule4))] Charlie is young.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is nice.[(triple13)] Erin is quiet.[(triple14 OR ((triple13) -> rule3))] Erin is smart.[(triple15 OR ((triple13 triple14) -> rule8) OR ((triple13 ((triple13) -> rule3)) -> rule8) OR ((triple14 ((triple14) -> rule2)) -> rule4) OR ((((triple13) -> rule3) ((triple14) -> rule2)) -> rule4) OR ((triple14 ((((triple13) -> rule3)) -> rule2)) -> rule4) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule2)) -> rule4))] Erin is young.[(triple16)] @1: Bob is smart.[(((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule2)) -> rule4))] Charlie is quiet.[(((triple7) -> rule3) OR ((triple10 triple8) -> rule5) OR ((triple10 ((triple5) -> rule1)) -> rule5))] Erin is round.[(((triple14) -> rule2) OR ((((triple13) -> rule3)) -> rule2))]