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