Bob is kind. Bob is rough. Bob is smart. Dave is not cold. Dave is not kind. Dave is rough. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Smart people are young. Furry people are young. If Bob is furry and Bob is not kind then Bob is not red. If someone is young then they are red. Smart people are cold. If someone is kind and not cold then they are not rough.
Bob is rough.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Dave is not cold.[(triple4)] Dave is not kind.[(triple5)] Dave is rough.[(triple6)] Fiona is cold.[(triple7 OR ((triple11) -> rule5))] Fiona is kind.[(triple8)] Fiona is red.[(triple9 OR ((triple12) -> rule4) OR ((((triple11) -> rule1)) -> rule4))] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12 OR ((triple11) -> rule1))] @1: Bob is cold.[(((triple3) -> rule5))] Bob is young.[(((triple3) -> rule1))] @2: Bob is red.[(((((triple3) -> rule1)) -> rule4))]