Bob is blue. Bob is kind. Bob is red. Bob is round. Bob is young. Dave is cold. Dave is young. Kind people are cold. If someone is kind then they are cold. If Bob is big and Bob is not red then Bob is not blue. All cold people are kind. All blue, kind people are round. All red people are round. If someone is cold and not kind then they are not blue. Cold, red people are blue.
Dave is big.
@0: Bob is blue.[(triple1 OR ((((triple2) -> rule1) triple3) -> rule8) OR ((((triple2) -> rule2) triple3) -> rule8))] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple3) -> rule6) OR ((triple1 triple2) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule8) triple2) -> rule5) OR ((((((triple2) -> rule2) triple3) -> rule8) triple2) -> rule5))] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is young.[(triple7)] @1: Bob is cold.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Dave is kind.[(((triple6) -> rule4))]