Bob is big. Bob is furry. Bob is kind. Bob is not smart. Bob is not white. Dave is blue. Dave is kind. Dave is white. Fiona is not blue. Fiona is not furry. Fiona is not kind. Fiona is white. All kind people are blue. Big people are furry. If Dave is smart then Dave is kind. If Bob is blue and Bob is smart then Bob is cold. Big people are cold. Furry people are big.
Dave is smart.
@0: Bob is big.[(triple1 OR ((triple2) -> rule6))] Bob is furry.[(triple2 OR ((triple1) -> rule2))] Bob is kind.[(triple3)] Bob is not smart.[(triple4)] Bob is not white.[(triple5)] Dave is blue.[(triple6 OR ((triple7) -> rule1))] Dave is kind.[(triple7)] Dave is white.[(triple8)] Fiona is not blue.[(triple9)] Fiona is not furry.[(triple10)] Fiona is not kind.[(triple11)] Fiona is white.[(triple12)] @1: Bob is blue.[(((triple3) -> rule1))] Bob is cold.[(((triple1) -> rule5) OR ((((triple2) -> rule6)) -> rule5))]