The cow is big. The cow is blue. The cow is cold. The cow is rough. The cow is young. If something is young then it is blue. Young things are rough. All rough, cold things are blue. Rough things are big. Young, rough things are cold. Young things are cold. Big, young things are blue. If the cow is young and the cow is blue then the cow is big.
The cow is not rough.
@0: The cow is big.[(triple1 OR ((triple4) -> rule4) OR ((triple5 triple2) -> rule8) OR ((((triple5) -> rule2)) -> rule4) OR ((triple5 ((triple5) -> rule1)) -> rule8) OR ((triple5 ((triple4 triple3) -> rule3)) -> rule8) OR ((triple5 ((triple4 ((triple5) -> rule6)) -> rule3)) -> rule8) OR ((triple5 ((triple4 ((triple5 triple4) -> rule5)) -> rule3)) -> rule8) OR ((triple5 ((((triple5) -> rule2) triple3) -> rule3)) -> rule8) OR ((triple5 ((((triple5) -> rule2) ((triple5) -> rule6)) -> rule3)) -> rule8) OR ((triple5 ((((triple5) -> rule2) ((triple5 triple4) -> rule5)) -> rule3)) -> rule8) OR ((triple5 ((triple4 ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule3)) -> rule8) OR ((triple5 ((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule3)) -> rule8))] The cow is blue.[(triple2 OR ((triple5) -> rule1) OR ((triple1 triple5) -> rule7) OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple5) -> rule6)) -> rule3) OR ((triple4 ((triple5 triple4) -> rule5)) -> rule3) OR ((((triple4) -> rule4) triple5) -> rule7) OR ((((triple5) -> rule2) triple3) -> rule3) OR ((((triple5) -> rule2) ((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule2) ((triple5 triple4) -> rule5)) -> rule3) OR ((triple4 ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule3) OR ((((((triple5) -> rule2)) -> rule4) triple5) -> rule7) OR ((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule5)) -> rule3))] The cow is cold.[(triple3 OR ((triple5) -> rule6) OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule2)) -> rule5))] The cow is rough.[(triple4 OR ((triple5) -> rule2))] The cow is young.[(triple5)]