Bob is rough. Bob is not young. Dave is big. Dave is nice. Dave is quiet. Dave is rough. Fiona is cold. Fiona is nice. Fiona is quiet. Gary is big. Gary is white. Gary is young. If someone is quiet and not big then they are not nice. If someone is white and big then they are nice. If someone is white and cold then they are not rough. All nice people are cold. If someone is nice and not quiet then they are white. If someone is quiet and not cold then they are not young.
Fiona is young.
@0: Bob is not young.[(triple2)] Bob is rough.[(triple1)] Dave is big.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Fiona is cold.[(triple7 OR ((triple8) -> rule4))] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Gary is big.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Dave is cold.[(((triple4) -> rule4))] Gary is nice.[(((triple11 triple10) -> rule2))] @2: Gary is cold.[(((((triple11 triple10) -> rule2)) -> rule4))] @3: Gary is not rough.[(((triple11 ((((triple11 triple10) -> rule2)) -> rule4)) -> rule3))]