The bear is blue. The bear is green. The bear is nice. The bear is red. The bear is rough. All green people are red. If someone is rough and red then they are green. If someone is nice then they are green. All rough, green people are nice. If the bear is rough and the bear is nice then the bear is blue. All red people are nice. Red people are nice. If someone is red then they are green.
The bear sees the bear.
@0: The bear is blue.[(triple1 OR ((triple5 triple3) -> rule5) OR ((triple5 ((triple4) -> rule6)) -> rule5) OR ((triple5 ((triple4) -> rule7)) -> rule5) OR ((triple5 ((triple5 triple2) -> rule4)) -> rule5) OR ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((((triple2) -> rule1)) -> rule7)) -> rule5) OR ((triple5 ((triple5 ((triple4) -> rule8)) -> rule4)) -> rule5) OR ((triple5 ((triple5 ((triple5 triple4) -> rule2)) -> rule4)) -> rule5))] The bear is green.[(triple2 OR ((triple3) -> rule3) OR ((triple4) -> rule8) OR ((triple5 triple4) -> rule2) OR ((((triple4) -> rule6)) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] The bear is nice.[(triple3 OR ((triple4) -> rule6) OR ((triple4) -> rule7) OR ((triple5 triple2) -> rule4) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule1)) -> rule7) OR ((triple5 ((triple4) -> rule8)) -> rule4) OR ((triple5 ((triple5 triple4) -> rule2)) -> rule4))] The bear is red.[(triple4 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The bear is rough.[(triple5)]