Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Dave is big. Dave is green. Dave is red. Dave is white. Erin is green. Erin is rough. Erin is white. All kind people are big. If someone is white and red then they are quiet. If someone is rough then they are red.
Erin is not quiet.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple5 ((triple4) -> rule3)) -> rule2))] Bob is rough.[(triple4)] Bob is white.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9)] Erin is green.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple12)] @1: Bob is big.[(((triple2) -> rule1))] Bob is red.[(((triple4) -> rule3))] Dave is quiet.[(((triple9 triple8) -> rule2))] Erin is red.[(((triple11) -> rule3))] @2: Erin is quiet.[(((triple12 ((triple11) -> rule3)) -> rule2))]