The bear is round. If someone is green and round then they are nice. All green people are nice. If someone is red and young then they are nice. Green, round people are nice. All round people are red. Young people are not red. If someone is nice then they are not young. All red people are green.
The bear is green.
@0: The bear is round.[(triple1)] @1: The bear is red.[(((triple1) -> rule5))] @2: The bear is green.[(((((triple1) -> rule5)) -> rule8))] @3: The bear is nice.[(((((((triple1) -> rule5)) -> rule8)) -> rule2) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule1) OR ((((((triple1) -> rule5)) -> rule8) triple1) -> rule4))] @4: The bear is not young.[(((((((((triple1) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule5)) -> rule8) triple1) -> rule4)) -> rule7))]