Bob is big. Bob is blue. Bob is kind. Bob is red. Bob is rough. Bob is not smart. Bob is not young. Dave is red. Dave is rough. Dave is smart. Dave is young. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. All blue, young people are big. Smart people are kind. All kind, smart people are blue.
Dave is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is not smart.[(triple6)] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Dave is young.[(triple11)] Fiona is big.[(triple12)] Fiona is kind.[(triple13 OR ((triple16) -> rule2))] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Dave is kind.[(((triple10) -> rule2))] Fiona is blue.[(((triple13 triple16) -> rule3) OR ((((triple16) -> rule2) triple16) -> rule3))] @2: Dave is blue.[(((((triple10) -> rule2) triple10) -> rule3))] @3: Dave is big.[(((((((triple10) -> rule2) triple10) -> rule3) triple11) -> rule1))]