Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is young. Fiona is cold. Fiona is rough. Fiona is round. If someone is cold and red then they are young. If someone is furry then they are red. If someone is cold then they are furry.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule3))] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple2) -> rule2) OR ((((triple1) -> rule3)) -> rule2))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple2) -> rule2)) -> rule1) OR ((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule1))] Fiona is cold.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] @1: Fiona is furry.[(((triple8) -> rule3))] @2: Fiona is red.[(((((triple8) -> rule3)) -> rule2))] @3: Fiona is young.[(((triple8 ((((triple8) -> rule3)) -> rule2)) -> rule1))]