Bob is not big. Bob is blue. Bob is kind. Bob is quiet. Bob is not rough. Bob is not smart. Bob is young. Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is young. Young, quiet things are blue. If something is quiet then it is kind. If something is quiet and rough then it is kind.
Fiona is not kind.
@0: Bob is blue.[(triple2 OR ((triple7 triple4) -> rule1))] Bob is kind.[(triple3 OR ((triple4) -> rule2))] Bob is not big.[(triple1)] Bob is not rough.[(triple5)] Bob is not smart.[(triple6)] Bob is quiet.[(triple4)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple12 triple11) -> rule1))] Fiona is kind.[(triple10 OR ((triple11) -> rule2))] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)]