Bob is quiet. Bob is rough. Bob is white. Bob is young. Dave is quiet. Dave is red. Dave is rough. Dave is young. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is young. Harry is cold. Harry is green. Harry is white. If Dave is cold and Dave is green then Dave is young. White people are quiet. Rough, young people are white. If Erin is white and Erin is cold then Erin is young. If someone is young and green then they are red. White people are quiet.
Harry is not red.
@0: Bob is quiet.[(triple1 OR ((triple3) -> rule2) OR ((triple3) -> rule6) OR ((((triple2 triple4) -> rule3)) -> rule2) OR ((((triple2 triple4) -> rule3)) -> rule6))] Bob is rough.[(triple2)] Bob is white.[(triple3 OR ((triple2 triple4) -> rule3))] Bob is young.[(triple4)] Dave is quiet.[(triple5 OR ((((triple7 triple8) -> rule3)) -> rule2) OR ((((triple7 triple8) -> rule3)) -> rule6))] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is young.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10 OR ((((triple12 triple13) -> rule3)) -> rule2) OR ((((triple12 triple13) -> rule3)) -> rule6))] Erin is red.[(triple11 OR ((triple13 triple9) -> rule5))] Erin is rough.[(triple12)] Erin is young.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is white.[(triple16)] @1: Dave is white.[(((triple7 triple8) -> rule3))] Erin is white.[(((triple12 triple13) -> rule3))] Harry is quiet.[(((triple16) -> rule2) OR ((triple16) -> rule6))]