Bob is big. Bob is blue. Bob is green. Bob is kind. Charlie is big. Charlie is quiet. Charlie is smart. Dave is green. Dave is kind. Dave is quiet. Dave is young. Erin is big. Erin is green. Erin is kind. Erin is smart. Erin is young. If someone is kind then they are green. If Dave is young then Dave is big. All green people are big. If Dave is kind then Dave is quiet. If someone is smart then they are blue. If someone is big and young then they are green. Quiet people are green. If someone is smart and big then they are green.
Bob is not green.
@0: Bob is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule1))] Bob is kind.[(triple4)] Charlie is big.[(triple5 OR ((((triple6) -> rule7)) -> rule3))] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Dave is green.[(triple8 OR ((triple10) -> rule7) OR ((triple9) -> rule1) OR ((((triple9) -> rule4)) -> rule7) OR ((((triple11) -> rule2) triple11) -> rule6))] Dave is kind.[(triple9)] Dave is quiet.[(triple10 OR ((triple9) -> rule4))] Dave is young.[(triple11)] Erin is big.[(triple12 OR ((triple13) -> rule3) OR ((((triple14) -> rule1)) -> rule3))] Erin is green.[(triple13 OR ((triple14) -> rule1) OR ((triple12 triple16) -> rule6) OR ((triple15 triple12) -> rule8))] Erin is kind.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Charlie is blue.[(((triple7) -> rule5))] Charlie is green.[(((triple6) -> rule7) OR ((triple7 triple5) -> rule8))] Dave is big.[(((triple11) -> rule2) OR ((triple8) -> rule3) OR ((((triple10) -> rule7)) -> rule3) OR ((((triple9) -> rule1)) -> rule3) OR ((((((triple9) -> rule4)) -> rule7)) -> rule3))] Erin is blue.[(((triple15) -> rule5))]