Dave is rough. Fiona is smart. Gary is young. If Gary is big and Gary is kind then Gary is not young. If Gary is not blue then Gary is not young. If someone is smart then they are kind. If Fiona is young and Fiona is kind then Fiona is big. If someone is quiet then they are not big. Blue, kind people are not young. All quiet people are rough. Kind people are quiet.
Gary is not kind.
@0: Dave is rough.[(triple1)] Fiona is smart.[(triple2)] Gary is young.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule3))] @2: Fiona is quiet.[(((((triple2) -> rule3)) -> rule8))] @3: Fiona is not big.[(((((((triple2) -> rule3)) -> rule8)) -> rule5))] Fiona is rough.[(((((((triple2) -> rule3)) -> rule8)) -> rule7))]