The bear is big. The bear is nice. The bear is red. The bear is round. The bear is young. If someone is round and big then they are young. Round people are red. All nice people are round. All big people are red. All red people are round. All red people are young. Nice, young people are red. If someone is nice then they are round.
The bear visits the bear.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3 OR ((triple1) -> rule4) OR ((triple4) -> rule2) OR ((triple2 triple5) -> rule7) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule8)) -> rule2) OR ((triple2 ((triple4 triple1) -> rule1)) -> rule7) OR ((triple2 ((((triple2) -> rule3) triple1) -> rule1)) -> rule7) OR ((triple2 ((((triple2) -> rule8) triple1) -> rule1)) -> rule7))] The bear is round.[(triple4 OR ((triple2) -> rule3) OR ((triple2) -> rule8) OR ((triple3) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple2 triple5) -> rule7)) -> rule5))] The bear is young.[(triple5 OR ((triple3) -> rule6) OR ((triple4 triple1) -> rule1) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule1) OR ((((triple2) -> rule8) triple1) -> rule1) OR ((((triple3) -> rule5) triple1) -> rule1) OR ((((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule2)) -> rule6) OR ((((((triple1) -> rule4)) -> rule5) triple1) -> rule1))]