Charlie is big. Charlie is green. Charlie is nice. Charlie is not quiet. Dave is big. Dave is quiet. Fiona is not rough. Gary is big. Gary is green. Gary is nice. Gary is rough. If someone is quiet and rough then they are nice. Big people are nice. If Charlie is kind and Charlie is nice then Charlie is not big. If someone is rough and nice then they are green. All green, rough people are red. If Dave is kind then Dave is rough. If someone is nice and quiet then they are kind. If Fiona is quiet and Fiona is rough then Fiona is big.
Dave is not green.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple1) -> rule2))] Charlie is not quiet.[(triple4)] Dave is big.[(triple5)] Dave is quiet.[(triple6)] Fiona is not rough.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9 OR ((triple11 triple10) -> rule4) OR ((triple11 ((triple8) -> rule2)) -> rule4))] Gary is nice.[(triple10 OR ((triple8) -> rule2))] Gary is rough.[(triple11)] @1: Dave is nice.[(((triple5) -> rule2))] Gary is red.[(((triple9 triple11) -> rule5) OR ((((triple11 triple10) -> rule4) triple11) -> rule5) OR ((((triple11 ((triple8) -> rule2)) -> rule4) triple11) -> rule5))] @2: Dave is kind.[(((((triple5) -> rule2) triple6) -> rule7))] @3: Dave is rough.[(((((((triple5) -> rule2) triple6) -> rule7)) -> rule6))] @4: Dave is green.[(((((((((triple5) -> rule2) triple6) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule4))] @5: Dave is red.[(((((((((((triple5) -> rule2) triple6) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule4) ((((((triple5) -> rule2) triple6) -> rule7)) -> rule6)) -> rule5))]