The tiger is big. The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. All round, blue people are green. All nice people are round. All round people are big. All nice people are green. All green people are round. If someone is big and nice then they are green.
The tiger does not chase the tiger.
@0: The tiger is big.[(triple1 OR ((triple5) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule4)) -> rule5)) -> rule3))] The tiger is blue.[(triple2)] The tiger is green.[(triple3 OR ((triple4) -> rule4) OR ((triple1 triple4) -> rule6) OR ((triple5 triple2) -> rule1) OR ((((triple4) -> rule2) triple2) -> rule1) OR ((((triple5) -> rule3) triple4) -> rule6) OR ((((((triple4) -> rule2)) -> rule3) triple4) -> rule6))] The tiger is nice.[(triple4)] The tiger is round.[(triple5 OR ((triple3) -> rule5) OR ((triple4) -> rule2) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple1 triple4) -> rule6)) -> rule5))]