Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is not smart. Charlie is young. Dave is blue. Dave is quiet. Fiona is not big. Fiona is blue. Fiona is kind. If Charlie is quiet then Charlie is big. If someone is blue and young then they are big. All young people are kind. All quiet people are blue. If Dave is big and Dave is not kind then Dave is furry. If someone is furry and not blue then they are not smart. All quiet people are not smart. If someone is kind and young then they are not smart.
Dave is not kind.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule1) OR ((triple2 triple7) -> rule2) OR ((((triple5) -> rule4) triple7) -> rule2))] Charlie is blue.[(triple2 OR ((triple5) -> rule4))] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple7) -> rule3))] Charlie is not smart.[(triple6 OR ((triple5) -> rule7) OR ((triple4 triple7) -> rule8) OR ((((triple7) -> rule3) triple7) -> rule8))] Charlie is quiet.[(triple5)] Charlie is young.[(triple7)] Dave is blue.[(triple8 OR ((triple9) -> rule4))] Dave is quiet.[(triple9)] Fiona is blue.[(triple11)] Fiona is kind.[(triple12)] Fiona is not big.[(triple10)] @1: Dave is not smart.[(((triple9) -> rule7))]