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